Unification-free ("keyword") type checking

(haskellforall.com)

3 points | by fanf2 11 hours ago ago