there are no first class type constructors so you ...
# arrow
p
there are no first class type constructors so you need to use tricks of the type system to emulate them