[kroltan]

Those are representations, not types. I think they are using the "what can I do with this" definition of type, which is just its public API, and nominality (walks like a duck, quacks like a duck, doesn't mean it's a duck)

[incrudible]

They are not ducks, they are two different animals, even if you disregard binary representation.