1 2 3 4 5 6 7
{-# OPTIONS_GHC -XPolymorphicComponents #-} module ShouldCompile where newtype Swizzle = MkSwizzle (forall a. Ord a => [a] -> [a])