Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail183.hs
1
2 module ShouldCompile where
3
4 newtype Swizzle = MkSwizzle (forall a. Ord a => [a] -> [a])