« Declare Constraint is not apart from Type :: Contents :: <no title> »
Constraint
Type
This document was moved to https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0106-type-data.rst