Я замечаю, что часто попадаю в запутанные споры с людьми из математики и физики, потому что я по образованию компьютерный ученый, и для меня тип чего-то — это то, во что его можно привести с помощью канонического приведения типов. Изоморфный, эквивалентный, неважно. Можно ли это хранить в одной и той же структуре в памяти?