This document was moved to https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0080-type-level-type-applications.rst
This document was moved to https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0080-type-level-type-applications.rst