Een soort dat is gedefinieerd in het kader van een ander type. Een geneste type wordt gewoonlijk gebruikt voor het inkapselen van details van de implementatie van het type dat op het hoogste niveau.