Re: [Haskell-cafe] About the ConstraintKinds extension