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.