blob: 17ae2f575665b315ba13dc1e4ce6f5df6da81716 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE Haskell2010 #-}
{-# OPTIONS_GHC -XScopedTypeVariables #-}
-- We don't actually want scoped type variables, but this flag makes the
-- forall be recognised by the parser
module ShouldCompile where
newtype Swizzle = MkSwizzle (forall a. Ord a => [a] -> [a])
|
