Constraint package:ihaskell

The kind of lifted constraints