(t,t) --> t :* t
another t :* t
HasTrie Void instance with trivial proofs.
note isomorphisms
fix type variable names