Skip to content

Make a smart mkAppTyM

Simon Peyton Jones requested to merge wip/T15952-2 into master

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

Edited by Simon Peyton Jones

Merge request reports