LANGUAGE ConstraintKinds not needed to use ConstraintKinds?