fix GHC constraints.