testMaybe
MkInfer (List.Cons 1 Nil)
MkInfer Nil
:q
