TypChk
new typechecker
add generative utilities
not need Monoid b, suffix-freedom in type checker
infer types of literals
simplify λ inference
derp
Control.Monad.Gen.Class
use Monatron
unify tuples
define (Tuple xs /. ψ)
equality is symmetric, derp
code layout