Make a smart mkAppTyM
This branch, wip/T15952-2, is WIP on the idea of making a monadic mkAppTyM that ensures the Purely Kinded Invariant.
It's all done -- ready to merge
This branch, wip/T15952-2, is WIP on the idea of making a monadic mkAppTyM that ensures the Purely Kinded Invariant.
It's all done -- ready to merge