« <no title> :: Contents :: <no title> »
This document was moved to https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0155-type-lambda.rst