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