A type has normal form

In Pie a Type has a normal form just like any other expression would. A type is the same as another type if they share the same normal form.