Všiml jsem si, že se dostávám do spousty zmatených tam a zpět s matematikou a fyzikou, protože jsem původem počítačový vědec a pro mě je typ něčeho jakýkoli, do kterého má kanonický typ. Izomorfní, ekvivalentní, cokoliv. Mohl by být uložen ve stejné struktuře v paměti?