ConstraintKinds for GHC 7.4.1