# A type is the same as another type if they share a normal form¶

In Pie, any two Types which share the same normal form are the same type. They are effectively isomorphic. Therefore

(car (cons Atom Atom))


and

Atom


are the same type.