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