17 files changed, 239 insertions, 239 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 31c370e3..9eff75a3 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -5,8 +5,8 @@ id :: forall a . a -> a
 V2 :: forall a . a -> a -> 'VecS a 2
 V3 :: forall a . a -> a -> a -> 'VecS a 3
 V4 :: forall a . a -> a -> a -> a -> 'VecS a 4
-'VecSCase :: forall a . (b :: (c :: 'Nat) -> 'VecS a c -> Type) -> ((d :: a) -> (e :: a) -> b 2 (V2 d e)) -> ((f :: a) -> (g :: a) -> (h :: a) -> b 3 (V3 f g h)) -> ((i :: a) -> (j :: a) -> (k :: a) -> (l :: a) -> b 4 (V4 i j k l)) -> forall (m :: 'Nat) . (n :: 'VecS a m) -> b m n
-match'VecS :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'Nat) -> a ('VecS b c)) -> (d :: Type) -> a d -> a d
+'VecSCase :: forall a . forall (b :: forall (c :: 'Nat) -> 'VecS a c -> Type) -> (forall (d :: a) (e :: a) -> b 2 (V2 d e)) -> (forall (f :: a) (g :: a) (h :: a) -> b 3 (V3 f g h)) -> (forall (i :: a) (j :: a) (k :: a) (l :: a) -> b 4 (V4 i j k l)) -> forall (m :: 'Nat) . forall (n :: 'VecS a m) -> b m n
+match'VecS :: forall (a :: Type -> Type) -> (forall b (c :: 'Nat) -> a ('VecS b c)) -> forall d -> a d -> a d
 mapVec :: forall a b (c :: 'Nat) . (a -> b) -> 'VecS a c -> 'VecS b c
 'Vec :: 'Nat -> Type -> Type
 'VecScalar :: 'Nat -> Type -> Type
@@ -20,8 +20,8 @@ M43F :: 'Vec 4 'Float -> 'Vec [32
 M24F :: 'Vec 2 'Float -> 'Vec 2 'Float -> 'Vec 2 'Float -> 'Vec 2 'Float -> 'Mat 2 4 'Float
 M34F :: 'Vec 3 'Float -> 'Vec 3 'Float -> 'Vec 3 'Float -> 'Vec 3 'Float -> 'Mat 3 4 'Float
 M44F :: 'Vec 4 'Float -> 'Vec 4 'Float -> 'Vec 4 'Float -> 'Vec 4 'Float -> 'Mat 4 4 'Float
-'MatCase :: (a :: (b :: 'Nat) -> (c :: 'Nat) -> (d :: Type) -> 'Mat b c d -> Type) -> ((e :: 'Vec 2 'Float) -> (f :: 'Vec 2 'Float) -> a 2 2 'Float (M22F e f)) -> ((g :: 'Vec 3 'Float) -> (h :: 'Vec 3 'Float) -> a 3 2 'Float (M32F g h)) -> ((i :: 'Vec 4 'Float) -> (j :: 'Vec 4 'Float) -> a 4 2 'Float (M42F i j)) -> ((k :: 'Vec 2 'Float) -> (l :: 'Vec 2 'Float) -> (m :: 'Vec 2 'Float) -> a 2 3 'Float (M23F k l m)) -> ((n :: 'Vec 3 'Float) -> (o :: 'Vec 3 'Float) -> (p :: 'Vec 3 'Float) -> a 3 3 'Float (M33F n o p)) -> ((q :: 'Vec 4 'Float) -> (r :: 'Vec 4 'Float) -> (s :: 'Vec 4 'Float) -> a 4 3 'Float (M43F q r s)) -> ((t :: 'Vec 2 'Float) -> (u :: 'Vec 2 'Float) -> (v :: 'Vec 2 'Float) -> (w :: 'Vec 2 'Float) -> a 2 4 'Float (M24F t u v w)) -> ((x :: 'Vec 3 'Float) -> (y :: 'Vec 3 'Float) -> (z :: 'Vec 3 'Float) -> (a' :: 'Vec 3 'Float) -> a 3 4 'Float (M34F x y z a')) -> ((b' :: 'Vec 4 'Float) -> (c' :: 'Vec 4 'Float) -> (d' :: 'Vec 4 'Float) -> (e' :: 'Vec 4 'Float) -> a 4 4 'Float (M44F b' c' d' e')) -> forall (f' :: 'Nat) (g' :: 'Nat) h' . (i' :: 'Mat f' g' h') -> a f' g' h' i'
-match'Mat :: (a :: Type -> Type) -> ((b :: 'Nat) -> (c :: 'Nat) -> (d :: Type) -> a ('Mat b c d)) -> (e :: Type) -> a e -> a e
+'MatCase :: forall (a :: forall (b :: 'Nat) (c :: 'Nat) d -> 'Mat b c d -> Type) -> (forall (e :: 'Vec 2 'Float) (f :: 'Vec 2 'Float) -> a 2 2 'Float (M22F e f)) -> (forall (g :: 'Vec 3 'Float) (h :: 'Vec 3 'Float) -> a 3 2 'Float (M32F g h)) -> (forall (i :: 'Vec 4 'Float) (j :: 'Vec 4 'Float) -> a 4 2 'Float (M42F i j)) -> (forall (k :: 'Vec 2 'Float) (l :: 'Vec 2 'Float) (m :: 'Vec 2 'Float) -> a 2 3 'Float (M23F k l m)) -> (forall (n :: 'Vec 3 'Float) (o :: 'Vec 3 'Float) (p :: 'Vec 3 'Float) -> a 3 3 'Float (M33F n o p)) -> (forall (q :: 'Vec 4 'Float) (r :: 'Vec 4 'Float) (s :: 'Vec 4 'Float) -> a 4 3 'Float (M43F q r s)) -> (forall (t :: 'Vec 2 'Float) (u :: 'Vec 2 'Float) (v :: 'Vec 2 'Float) (w :: 'Vec 2 'Float) -> a 2 4 'Float (M24F t u v w)) -> (forall (x :: 'Vec 3 'Float) (y :: 'Vec 3 'Float) (z :: 'Vec 3 'Float) (a' :: 'Vec 3 'Float) -> a 3 4 'Float (M34F x y z a')) -> (forall (b' :: 'Vec 4 'Float) (c' :: 'Vec 4 'Float) (d' :: 'Vec 4 'Float) (e' :: 'Vec 4 'Float) -> a 4 4 'Float (M44F b' c' d' e')) -> forall (f' :: 'Nat) (g' :: 'Nat) h' . forall (i' :: 'Mat f' g' h') -> a f' g' h' i'
+match'Mat :: forall (a :: Type -> Type) -> (forall (b :: 'Nat) (c :: 'Nat) d -> a ('Mat b c d)) -> forall e -> a e -> a e
 'MatVecScalarElem :: Type -> Type
 'Signed :: Type -> Type
 'Component :: Type -> Type
@@ -147,25 +147,25 @@ len :: forall a . 'List a -> 'Int
 'Maybe :: Type -> Type
 Nothing :: forall a . 'Maybe a
 Just :: forall a . a -> 'Maybe a
-'MaybeCase :: forall a . (b :: 'Maybe a -> Type) -> b Nothing -> ((c :: a) -> b (Just c)) -> (d :: 'Maybe a) -> b d
-match'Maybe :: (a :: Type -> Type) -> ((b :: Type) -> a ('Maybe b)) -> (c :: Type) -> a c -> a c
+'MaybeCase :: forall a . forall (b :: 'Maybe a -> Type) -> b Nothing -> (forall (c :: a) -> b (Just c)) -> forall (d :: 'Maybe a) -> b d
+match'Maybe :: forall (a :: Type -> Type) -> (forall b -> a ('Maybe b)) -> forall c -> a c -> a c
 'Vector :: 'Nat -> Type -> Type
-'VectorCase :: forall (a :: 'Nat) b . (c :: 'Vector a b -> Type) -> (d :: 'Vector a b) -> c d
-match'Vector :: (a :: Type -> Type) -> ((b :: 'Nat) -> (c :: Type) -> a ('Vector b c)) -> (d :: Type) -> a d -> a d
+'VectorCase :: forall (a :: 'Nat) b . forall (c :: 'Vector a b -> Type) (d :: 'Vector a b) -> c d
+match'Vector :: forall (a :: Type -> Type) -> (forall (b :: 'Nat) c -> a ('Vector b c)) -> forall d -> a d -> a d
 'PrimitiveType :: Type
 Triangle :: 'PrimitiveType
 Line :: 'PrimitiveType
 Point :: 'PrimitiveType
 TriangleAdjacency :: 'PrimitiveType
 LineAdjacency :: 'PrimitiveType
-'PrimitiveTypeCase :: (a :: 'PrimitiveType -> Type) -> a Triangle -> a Line -> a Point -> a TriangleAdjacency -> a LineAdjacency -> (b :: 'PrimitiveType) -> a b
-match'PrimitiveType :: (a :: Type -> Type) -> a 'PrimitiveType -> (b :: Type) -> a b -> a b
+'PrimitiveTypeCase :: forall (a :: 'PrimitiveType -> Type) -> a Triangle -> a Line -> a Point -> a TriangleAdjacency -> a LineAdjacency -> forall (b :: 'PrimitiveType) -> a b
+match'PrimitiveType :: forall (a :: Type -> Type) -> a 'PrimitiveType -> forall b -> a b -> a b
 'Primitive :: Type -> 'PrimitiveType -> Type
 PrimPoint :: forall a . a -> 'Primitive a Point
 PrimLine :: forall a . a -> a -> 'Primitive a Line
 PrimTriangle :: forall a . a -> a -> a -> 'Primitive a Triangle
-'PrimitiveCase :: forall a . (b :: (c :: 'PrimitiveType) -> 'Primitive a c -> Type) -> ((d :: a) -> b Point (PrimPoint d)) -> ((e :: a) -> (f :: a) -> b Line (PrimLine e f)) -> ((g :: a) -> (h :: a) -> (i :: a) -> b Triangle (PrimTriangle g h i)) -> forall (j :: 'PrimitiveType) . (k :: 'Primitive a j) -> b j k
-match'Primitive :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'PrimitiveType) -> a ('Primitive b c)) -> (d :: Type) -> a d -> a d
+'PrimitiveCase :: forall a . forall (b :: forall (c :: 'PrimitiveType) -> 'Primitive a c -> Type) -> (forall (d :: a) -> b Point (PrimPoint d)) -> (forall (e :: a) (f :: a) -> b Line (PrimLine e f)) -> (forall (g :: a) (h :: a) (i :: a) -> b Triangle (PrimTriangle g h i)) -> forall (j :: 'PrimitiveType) . forall (k :: 'Primitive a j) -> b j k
+match'Primitive :: forall (a :: Type -> Type) -> (forall b (c :: 'PrimitiveType) -> a ('Primitive b c)) -> forall d -> a d -> a d
 mapPrimitive :: forall a b (c :: 'PrimitiveType) . (a -> b) -> 'Primitive a c -> 'Primitive b c
 'PrimitiveStream :: 'PrimitiveType -> Type -> Type
 mapPrimitives :: forall a b (c :: 'PrimitiveType) . (a -> b) -> 'List ('Primitive a c) -> 'List ('Primitive b c)
@@ -173,11 +173,11 @@ mapPrimitives :: forall a b (c :: 'PrimitiveType) . (a -> 
 fetchArrays :: forall (a :: 'PrimitiveType) (b :: 'List Type) (c :: 'List Type) . (b ~ map Type Type 'ListElem c) => 'HList c -> 'PrimitiveStream a ('HList b)
 fetch :: forall (a :: 'PrimitiveType) (b :: 'List Type) . 'String -> 'HList b -> 'PrimitiveStream a ('HList b)
 Attribute :: forall a . 'String -> a
-fetchStream :: forall (a :: 'PrimitiveType) (b :: 'List Type) . 'String -> (c :: 'List 'String) -> (len 'String c ~ len Type b) => 'PrimitiveStream a ('HList b)
+fetchStream :: forall (a :: 'PrimitiveType) (b :: 'List Type) . 'String -> forall (c :: 'List 'String) -> (len 'String c ~ len Type b) => 'PrimitiveStream a ('HList b)
 'SimpleFragment :: Type -> Type
 SimpleFragment :: forall a . 'Vec 3 'Float -> a -> 'SimpleFragment a
-'SimpleFragmentCase :: forall a . (b :: 'SimpleFragment a -> Type) -> ((c :: 'Vec 3 'Float) -> (d :: a) -> b (SimpleFragment c d)) -> (e :: 'SimpleFragment a) -> b e
-match'SimpleFragment :: (a :: Type -> Type) -> ((b :: Type) -> a ('SimpleFragment b)) -> (c :: Type) -> a c -> a c
+'SimpleFragmentCase :: forall a . forall (b :: 'SimpleFragment a -> Type) -> (forall (c :: 'Vec 3 'Float) (d :: a) -> b (SimpleFragment c d)) -> forall (e :: 'SimpleFragment a) -> b e
+match'SimpleFragment :: forall (a :: Type -> Type) -> (forall b -> a ('SimpleFragment b)) -> forall c -> a c -> a c
 'Fragment :: 'Nat -> Type -> Type
 sFragmentCoords :: forall a . 'SimpleFragment a -> 'VecS 'Float 3
 sFragmentValue :: forall a . 'SimpleFragment a -> a
@@ -192,12 +192,12 @@ mapFragments :: forall a b (c :: 'Nat) . (a -> b) -
 Color :: Type -> 'ImageKind
 Depth :: 'ImageKind
 Stencil :: 'ImageKind
-'ImageKindCase :: (a :: 'ImageKind -> Type) -> ((b :: Type) -> a (Color b)) -> a Depth -> a Stencil -> (c :: 'ImageKind) -> a c
-match'ImageKind :: (a :: Type -> Type) -> a 'ImageKind -> (b :: Type) -> a b -> a b
+'ImageKindCase :: forall (a :: 'ImageKind -> Type) -> (forall b -> a (Color b)) -> a Depth -> a Stencil -> forall (c :: 'ImageKind) -> a c
+match'ImageKind :: forall (a :: Type -> Type) -> a 'ImageKind -> forall b -> a b -> a b
 imageType :: 'ImageKind -> Type
 'Image :: 'Nat -> 'ImageKind -> Type
-'ImageCase :: forall (a :: 'Nat) (b :: 'ImageKind) . (c :: 'Image a b -> Type) -> (d :: 'Image a b) -> c d
-match'Image :: (a :: Type -> Type) -> ((b :: 'Nat) -> (c :: 'ImageKind) -> a ('Image b c)) -> (d :: Type) -> a d -> a d
+'ImageCase :: forall (a :: 'Nat) (b :: 'ImageKind) . forall (c :: 'Image a b -> Type) (d :: 'Image a b) -> c d
+match'Image :: forall (a :: Type -> Type) -> (forall (b :: 'Nat) (c :: 'ImageKind) -> a ('Image b c)) -> forall d -> a d -> a d
 ColorImage :: forall (a :: 'Nat) (b :: 'Nat) c d . ('Num c, d ~ 'VecScalar b c) => d -> 'Image a (Color d)
 DepthImage :: forall (a :: 'Nat) . 'Float -> 'Image a Depth
 StencilImage :: forall (a :: 'Nat) . 'Int -> 'Image a Stencil
@@ -208,8 +208,8 @@ Sx :: 'Swizz
 Sy :: 'Swizz
 Sz :: 'Swizz
 Sw :: 'Swizz
-'SwizzCase :: (a :: 'Swizz -> Type) -> a Sx -> a Sy -> a Sz -> a Sw -> (b :: 'Swizz) -> a b
-match'Swizz :: (a :: Type -> Type) -> a 'Swizz -> (b :: Type) -> a b -> a b
+'SwizzCase :: forall (a :: 'Swizz -> Type) -> a Sx -> a Sy -> a Sz -> a Sw -> forall (b :: 'Swizz) -> a b
+match'Swizz :: forall (a :: Type -> Type) -> a 'Swizz -> forall b -> a b -> a b
 swizzscalar :: forall a (b :: 'Nat) . 'Vec b a -> 'Swizz -> a
 definedVec :: forall a (b :: 'Nat) . 'Vec b a -> 'Bool
 swizzvector :: forall a (b :: 'Nat) (c :: 'Nat) . 'Vec b a -> 'Vec c 'Swizz -> 'VecS a c
@@ -229,16 +229,16 @@ OneMinusConstantColor :: 'BlendingFactor
 ConstantAlpha :: 'BlendingFactor
 OneMinusConstantAlpha :: 'BlendingFactor
 SrcAlphaSaturate :: 'BlendingFactor
-'BlendingFactorCase :: (a :: 'BlendingFactor -> Type) -> a ZeroBF -> a OneBF -> a SrcColor -> a OneMinusSrcColor -> a DstColor -> a OneMinusDstColor -> a SrcAlpha -> a OneMinusSrcAlpha -> a DstAlpha -> a OneMinusDstAlpha -> a ConstantColor -> a OneMinusConstantColor -> a ConstantAlpha -> a OneMinusConstantAlpha -> a SrcAlphaSaturate -> (b :: 'BlendingFactor) -> a b
-match'BlendingFactor :: (a :: Type -> Type) -> a 'BlendingFactor -> (b :: Type) -> a b -> a b
+'BlendingFactorCase :: forall (a :: 'BlendingFactor -> Type) -> a ZeroBF -> a OneBF -> a SrcColor -> a OneMinusSrcColor -> a DstColor -> a OneMinusDstColor -> a SrcAlpha -> a OneMinusSrcAlpha -> a DstAlpha -> a OneMinusDstAlpha -> a ConstantColor -> a OneMinusConstantColor -> a ConstantAlpha -> a OneMinusConstantAlpha -> a SrcAlphaSaturate -> forall (b :: 'BlendingFactor) -> a b
+match'BlendingFactor :: forall (a :: Type -> Type) -> a 'BlendingFactor -> forall b -> a b -> a b
 'BlendEquation :: Type
 FuncAdd :: 'BlendEquation
 FuncSubtract :: 'BlendEquation
 FuncReverseSubtract :: 'BlendEquation
 Min :: 'BlendEquation
 Max :: 'BlendEquation
-'BlendEquationCase :: (a :: 'BlendEquation -> Type) -> a FuncAdd -> a FuncSubtract -> a FuncReverseSubtract -> a Min -> a Max -> (b :: 'BlendEquation) -> a b
-match'BlendEquation :: (a :: Type -> Type) -> a 'BlendEquation -> (b :: Type) -> a b -> a b
+'BlendEquationCase :: forall (a :: 'BlendEquation -> Type) -> a FuncAdd -> a FuncSubtract -> a FuncReverseSubtract -> a Min -> a Max -> forall (b :: 'BlendEquation) -> a b
+match'BlendEquation :: forall (a :: Type -> Type) -> a 'BlendEquation -> forall b -> a b -> a b
 'LogicOperation :: Type
 Clear :: 'LogicOperation
 And :: 'LogicOperation
@@ -256,8 +256,8 @@ CopyInverted :: 'LogicOperation
 OrInverted :: 'LogicOperation
 Nand :: 'LogicOperation
 Set :: 'LogicOperation
-'LogicOperationCase :: (a :: 'LogicOperation -> Type) -> a Clear -> a And -> a AndReverse -> a Copy -> a AndInverted -> a Noop -> a Xor -> a Or -> a Nor -> a Equiv -> a Invert -> a OrReverse -> a CopyInverted -> a OrInverted -> a Nand -> a Set -> (b :: 'LogicOperation) -> a b
-match'LogicOperation :: (a :: Type -> Type) -> a 'LogicOperation -> (b :: Type) -> a b -> a b
+'LogicOperationCase :: forall (a :: 'LogicOperation -> Type) -> a Clear -> a And -> a AndReverse -> a Copy -> a AndInverted -> a Noop -> a Xor -> a Or -> a Nor -> a Equiv -> a Invert -> a OrReverse -> a CopyInverted -> a OrInverted -> a Nand -> a Set -> forall (b :: 'LogicOperation) -> a b
+match'LogicOperation :: forall (a :: Type -> Type) -> a 'LogicOperation -> forall b -> a b -> a b
 'StencilOperation :: Type
 OpZero :: 'StencilOperation
 OpKeep :: 'StencilOperation
@@ -267,8 +267,8 @@ OpIncrWrap :: 'StencilOperation
 OpDecr :: 'StencilOperation
 OpDecrWrap :: 'StencilOperation
 OpInvert :: 'StencilOperation
-'StencilOperationCase :: (a :: 'StencilOperation -> Type) -> a OpZero -> a OpKeep -> a OpReplace -> a OpIncr -> a OpIncrWrap -> a OpDecr -> a OpDecrWrap -> a OpInvert -> (b :: 'StencilOperation) -> a b
-match'StencilOperation :: (a :: Type -> Type) -> a 'StencilOperation -> (b :: Type) -> a b -> a b
+'StencilOperationCase :: forall (a :: 'StencilOperation -> Type) -> a OpZero -> a OpKeep -> a OpReplace -> a OpIncr -> a OpIncrWrap -> a OpDecr -> a OpDecrWrap -> a OpInvert -> forall (b :: 'StencilOperation) -> a b
+match'StencilOperation :: forall (a :: Type -> Type) -> a 'StencilOperation -> forall b -> a b -> a b
 'ComparisonFunction :: Type
 Never :: 'ComparisonFunction
 Less :: 'ComparisonFunction
@@ -278,80 +278,80 @@ Greater :: 'ComparisonFunction
 Notequal :: 'ComparisonFunction
 Gequal :: 'ComparisonFunction
 Always :: 'ComparisonFunction
-'ComparisonFunctionCase :: (a :: 'ComparisonFunction -> Type) -> a Never -> a Less -> a Equal -> a Lequal -> a Greater -> a Notequal -> a Gequal -> a Always -> (b :: 'ComparisonFunction) -> a b
-match'ComparisonFunction :: (a :: Type -> Type) -> a 'ComparisonFunction -> (b :: Type) -> a b -> a b
+'ComparisonFunctionCase :: forall (a :: 'ComparisonFunction -> Type) -> a Never -> a Less -> a Equal -> a Lequal -> a Greater -> a Notequal -> a Gequal -> a Always -> forall (b :: 'ComparisonFunction) -> a b
+match'ComparisonFunction :: forall (a :: Type -> Type) -> a 'ComparisonFunction -> forall b -> a b -> a b
 'ProvokingVertex :: Type
 LastVertex :: 'ProvokingVertex
 FirstVertex :: 'ProvokingVertex
-'ProvokingVertexCase :: (a :: 'ProvokingVertex -> Type) -> a LastVertex -> a FirstVertex -> (b :: 'ProvokingVertex) -> a b
-match'ProvokingVertex :: (a :: Type -> Type) -> a 'ProvokingVertex -> (b :: Type) -> a b -> a b
+'ProvokingVertexCase :: forall (a :: 'ProvokingVertex -> Type) -> a LastVertex -> a FirstVertex -> forall (b :: 'ProvokingVertex) -> a b
+match'ProvokingVertex :: forall (a :: Type -> Type) -> a 'ProvokingVertex -> forall b -> a b -> a b
 'CullMode :: Type
 CullFront :: 'CullMode
 CullBack :: 'CullMode
 CullNone :: 'CullMode
-'CullModeCase :: (a :: 'CullMode -> Type) -> a CullFront -> a CullBack -> a CullNone -> (b :: 'CullMode) -> a b
-match'CullMode :: (a :: Type -> Type) -> a 'CullMode -> (b :: Type) -> a b -> a b
+'CullModeCase :: forall (a :: 'CullMode -> Type) -> a CullFront -> a CullBack -> a CullNone -> forall (b :: 'CullMode) -> a b
+match'CullMode :: forall (a :: Type -> Type) -> a 'CullMode -> forall b -> a b -> a b
 'PointSize :: Type -> Type
 PointSize :: forall a . 'Float -> 'PointSize a
 ProgramPointSize :: forall a . (a -> 'Float) -> 'PointSize a
-'PointSizeCase :: forall a . (b :: 'PointSize a -> Type) -> ((c :: 'Float) -> b (PointSize c)) -> ((d :: a -> 'Float) -> b (ProgramPointSize d)) -> (e :: 'PointSize a) -> b e
-match'PointSize :: (a :: Type -> Type) -> ((b :: Type) -> a ('PointSize b)) -> (c :: Type) -> a c -> a c
+'PointSizeCase :: forall a . forall (b :: 'PointSize a -> Type) -> (forall (c :: 'Float) -> b (PointSize c)) -> (forall (d :: a -> 'Float) -> b (ProgramPointSize d)) -> forall (e :: 'PointSize a) -> b e
+match'PointSize :: forall (a :: Type -> Type) -> (forall b -> a ('PointSize b)) -> forall c -> a c -> a c
 'PolygonMode :: Type -> Type
 PolygonFill :: forall a . 'PolygonMode a
 PolygonPoint :: forall a . 'PointSize a -> 'PolygonMode a
 PolygonLine :: forall a . 'Float -> 'PolygonMode a
-'PolygonModeCase :: forall a . (b :: 'PolygonMode a -> Type) -> b PolygonFill -> ((c :: 'PointSize a) -> b (PolygonPoint c)) -> ((d :: 'Float) -> b (PolygonLine d)) -> (e :: 'PolygonMode a) -> b e
-match'PolygonMode :: (a :: Type -> Type) -> ((b :: Type) -> a ('PolygonMode b)) -> (c :: Type) -> a c -> a c
+'PolygonModeCase :: forall a . forall (b :: 'PolygonMode a -> Type) -> b PolygonFill -> (forall (c :: 'PointSize a) -> b (PolygonPoint c)) -> (forall (d :: 'Float) -> b (PolygonLine d)) -> forall (e :: 'PolygonMode a) -> b e
+match'PolygonMode :: forall (a :: Type -> Type) -> (forall b -> a ('PolygonMode b)) -> forall c -> a c -> a c
 'PolygonOffset :: Type
 NoOffset :: 'PolygonOffset
 Offset :: 'Float -> 'Float -> 'PolygonOffset
-'PolygonOffsetCase :: (a :: 'PolygonOffset -> Type) -> a NoOffset -> ((b :: 'Float) -> (c :: 'Float) -> a (Offset b c)) -> (d :: 'PolygonOffset) -> a d
-match'PolygonOffset :: (a :: Type -> Type) -> a 'PolygonOffset -> (b :: Type) -> a b -> a b
+'PolygonOffsetCase :: forall (a :: 'PolygonOffset -> Type) -> a NoOffset -> (forall (b :: 'Float) (c :: 'Float) -> a (Offset b c)) -> forall (d :: 'PolygonOffset) -> a d
+match'PolygonOffset :: forall (a :: Type -> Type) -> a 'PolygonOffset -> forall b -> a b -> a b
 'PointSpriteCoordOrigin :: Type
 LowerLeft :: 'PointSpriteCoordOrigin
 UpperLeft :: 'PointSpriteCoordOrigin
-'PointSpriteCoordOriginCase :: (a :: 'PointSpriteCoordOrigin -> Type) -> a LowerLeft -> a UpperLeft -> (b :: 'PointSpriteCoordOrigin) -> a b
-match'PointSpriteCoordOrigin :: (a :: Type -> Type) -> a 'PointSpriteCoordOrigin -> (b :: Type) -> a b -> a b
+'PointSpriteCoordOriginCase :: forall (a :: 'PointSpriteCoordOrigin -> Type) -> a LowerLeft -> a UpperLeft -> forall (b :: 'PointSpriteCoordOrigin) -> a b
+match'PointSpriteCoordOrigin :: forall (a :: Type -> Type) -> a 'PointSpriteCoordOrigin -> forall b -> a b -> a b
 primTexture :: () -> 'Vec 2 'Float -> 'Vec 4 'Float
 Uniform :: forall a . 'String -> a
 'RasterContext :: Type -> 'PrimitiveType -> Type
 TriangleCtx :: forall a . 'CullMode -> 'PolygonMode a -> 'PolygonOffset -> 'ProvokingVertex -> 'RasterContext a Triangle
 PointCtx :: forall a . 'PointSize a -> 'Float -> 'PointSpriteCoordOrigin -> 'RasterContext a Point
 LineCtx :: forall a . 'Float -> 'ProvokingVertex -> 'RasterContext a Line
-'RasterContextCase :: forall a . (b :: (c :: 'PrimitiveType) -> 'RasterContext a c -> Type) -> ((d :: 'CullMode) -> (e :: 'PolygonMode a) -> (f :: 'PolygonOffset) -> (g :: 'ProvokingVertex) -> b Triangle (TriangleCtx d e f g)) -> ((h :: 'PointSize a) -> (i :: 'Float) -> (j :: 'PointSpriteCoordOrigin) -> b Point (PointCtx h i j)) -> ((k :: 'Float) -> (l :: 'ProvokingVertex) -> b Line (LineCtx k l)) -> forall (m :: 'PrimitiveType) . (n :: 'RasterContext a m) -> b m n
-match'RasterContext :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'PrimitiveType) -> a ('RasterContext b c)) -> (d :: Type) -> a d -> a d
+'RasterContextCase :: forall a . forall (b :: forall (c :: 'PrimitiveType) -> 'RasterContext a c -> Type) -> (forall (d :: 'CullMode) (e :: 'PolygonMode a) (f :: 'PolygonOffset) (g :: 'ProvokingVertex) -> b Triangle (TriangleCtx d e f g)) -> (forall (h :: 'PointSize a) (i :: 'Float) (j :: 'PointSpriteCoordOrigin) -> b Point (PointCtx h i j)) -> (forall (k :: 'Float) (l :: 'ProvokingVertex) -> b Line (LineCtx k l)) -> forall (m :: 'PrimitiveType) . forall (n :: 'RasterContext a m) -> b m n
+match'RasterContext :: forall (a :: Type -> Type) -> (forall b (c :: 'PrimitiveType) -> a ('RasterContext b c)) -> forall d -> a d -> a d
 'Blending :: Type -> Type
 NoBlending :: forall a . 'Blending a
 BlendLogicOp :: forall a . 'Integral a => 'LogicOperation -> 'Blending a
 Blend :: ('BlendEquation, 'BlendEquation) -> (('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor)) -> 'Vec 4 'Float -> 'Blending 'Float
-'BlendingCase :: (a :: (b :: Type) -> 'Blending b -> Type) -> (forall c . a c (NoBlending c)) -> (forall d (e :: 'Integral d) . (f :: 'LogicOperation) -> a d (BlendLogicOp d e f)) -> ((g :: ('BlendEquation, 'BlendEquation)) -> (h :: (('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor))) -> (i :: 'Vec 4 'Float) -> a 'Float (Blend g h i)) -> forall j . (k :: 'Blending j) -> a j k
-match'Blending :: (a :: Type -> Type) -> ((b :: Type) -> a ('Blending b)) -> (c :: Type) -> a c -> a c
+'BlendingCase :: forall (a :: forall b -> 'Blending b -> Type) -> (forall c . a c (NoBlending c)) -> (forall d (e :: 'Integral d) . forall (f :: 'LogicOperation) -> a d (BlendLogicOp d e f)) -> (forall (g :: ('BlendEquation, 'BlendEquation)) (h :: (('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor))) (i :: 'Vec 4 'Float) -> a 'Float (Blend g h i)) -> forall j . forall (k :: 'Blending j) -> a j k
+match'Blending :: forall (a :: Type -> Type) -> (forall b -> a ('Blending b)) -> forall c -> a c -> a c
 'StencilTests :: Type
-'StencilTestsCase :: (a :: 'StencilTests -> Type) -> (b :: 'StencilTests) -> a b
-match'StencilTests :: (a :: Type -> Type) -> a 'StencilTests -> (b :: Type) -> a b -> a b
+'StencilTestsCase :: forall (a :: 'StencilTests -> Type) (b :: 'StencilTests) -> a b
+match'StencilTests :: forall (a :: Type -> Type) -> a 'StencilTests -> forall b -> a b -> a b
 'StencilOps :: Type
-'StencilOpsCase :: (a :: 'StencilOps -> Type) -> (b :: 'StencilOps) -> a b
-match'StencilOps :: (a :: Type -> Type) -> a 'StencilOps -> (b :: Type) -> a b -> a b
+'StencilOpsCase :: forall (a :: 'StencilOps -> Type) (b :: 'StencilOps) -> a b
+match'StencilOps :: forall (a :: Type -> Type) -> a 'StencilOps -> forall b -> a b -> a b
 'FragmentOperation :: 'ImageKind -> Type
 ColorOp :: forall a (b :: 'Nat) . 'Num a => 'Blending a -> 'VecScalar b 'Bool -> 'FragmentOperation (Color ('VecScalar b a))
 DepthOp :: 'ComparisonFunction -> 'Bool -> 'FragmentOperation Depth
 StencilOp :: 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation Stencil
-'FragmentOperationCase :: (a :: (b :: 'ImageKind) -> 'FragmentOperation b -> Type) -> (forall c (d :: 'Nat) (e :: 'Num c) . (f :: 'Blending c) -> (g :: 'VecScalar d 'Bool) -> a (Color ('VecScalar d c)) (ColorOp c d e f g)) -> ((h :: 'ComparisonFunction) -> (i :: 'Bool) -> a Depth (DepthOp h i)) -> ((j :: 'StencilTests) -> (k :: 'StencilOps) -> (l :: 'StencilOps) -> a Stencil (StencilOp j k l)) -> forall (m :: 'ImageKind) . (n :: 'FragmentOperation m) -> a m n
-match'FragmentOperation :: (a :: Type -> Type) -> ((b :: 'ImageKind) -> a ('FragmentOperation b)) -> (c :: Type) -> a c -> a c
+'FragmentOperationCase :: forall (a :: forall (b :: 'ImageKind) -> 'FragmentOperation b -> Type) -> (forall c (d :: 'Nat) (e :: 'Num c) . forall (f :: 'Blending c) (g :: 'VecScalar d 'Bool) -> a (Color ('VecScalar d c)) (ColorOp c d e f g)) -> (forall (h :: 'ComparisonFunction) (i :: 'Bool) -> a Depth (DepthOp h i)) -> (forall (j :: 'StencilTests) (k :: 'StencilOps) (l :: 'StencilOps) -> a Stencil (StencilOp j k l)) -> forall (m :: 'ImageKind) . forall (n :: 'FragmentOperation m) -> a m n
+match'FragmentOperation :: forall (a :: Type -> Type) -> (forall (b :: 'ImageKind) -> a ('FragmentOperation b)) -> forall c -> a c -> a c
 'Interpolated :: Type -> Type
 Smooth :: forall a . 'Floating a => 'Interpolated a
 NoPerspective :: forall a . 'Floating a => 'Interpolated a
 Flat :: forall a . 'Interpolated a
-'InterpolatedCase :: forall a . (b :: 'Interpolated a -> Type) -> (forall (c :: 'Floating a) . b (Smooth c)) -> (forall (d :: 'Floating a) . b (NoPerspective d)) -> b Flat -> (e :: 'Interpolated a) -> b e
-match'Interpolated :: (a :: Type -> Type) -> ((b :: Type) -> a ('Interpolated b)) -> (c :: Type) -> a c -> a c
+'InterpolatedCase :: forall a . forall (b :: 'Interpolated a -> Type) -> (forall (c :: 'Floating a) . b (Smooth c)) -> (forall (d :: 'Floating a) . b (NoPerspective d)) -> b Flat -> forall (e :: 'Interpolated a) -> b e
+match'Interpolated :: forall (a :: Type -> Type) -> (forall b -> a ('Interpolated b)) -> forall c -> a c -> a c
 rasterizePrimitive :: forall (a :: 'List Type) (b :: 'List Type) (c :: 'List Type) (d :: 'PrimitiveType) . (map Type Type 'Interpolated a ~ b, c ~ Cons ('Vec 4 'Float) a) => 'HList b -> 'RasterContext ('HList c) d -> 'Primitive ('HList c) d -> 'FragmentStream 1 ('HList a)
 rasterizePrimitives :: forall (a :: 'List Type) (b :: 'PrimitiveType) . 'RasterContext ('HList (Cons ('Vec 4 'Float) a)) b -> 'HList (map Type Type 'Interpolated a) -> 'List ('Primitive ('HList (Cons ('Vec 4 'Float) a)) b) -> 'List ('Vector 1 ('Maybe ('SimpleFragment ('HList a))))
 'ImageLC :: Type -> 'Nat
 allSame :: forall a . 'List a -> Type
 sameLayerCounts :: 'List Type -> Type
 'FrameBuffer :: 'Nat -> 'List 'ImageKind -> Type
-'FrameBufferCase :: forall (a :: 'Nat) (b :: 'List 'ImageKind) . (c :: 'FrameBuffer a b -> Type) -> (d :: 'FrameBuffer a b) -> c d
-match'FrameBuffer :: (a :: Type -> Type) -> ((b :: 'Nat) -> (c :: 'List 'ImageKind) -> a ('FrameBuffer b c)) -> (d :: Type) -> a d -> a d
+'FrameBufferCase :: forall (a :: 'Nat) (b :: 'List 'ImageKind) . forall (c :: 'FrameBuffer a b -> Type) (d :: 'FrameBuffer a b) -> c d
+match'FrameBuffer :: forall (a :: Type -> Type) -> (forall (b :: 'Nat) (c :: 'List 'ImageKind) -> a ('FrameBuffer b c)) -> forall d -> a d -> a d
 imageType' :: 'List 'ImageKind -> 'List Type
 'FragmentOperationKind :: Type -> 'ImageKind
 Accumulate :: forall (a :: 'List 'ImageKind) (b :: 'Nat) (c :: 'List Type) . (a ~ map Type 'ImageKind 'FragmentOperationKind c) => 'HList c -> 'FragmentStream b ('HList (imageType' a)) -> 'FrameBuffer b a -> 'FrameBuffer b a
@@ -365,29 +365,29 @@ PrjImage :: forall (a :: 'ImageKind) . 'FrameBuffer 1 (Cons a N
 PrjImageColor :: 'FrameBuffer 1 (Cons Depth (Cons (Color ('Vec 4 'Float)) Nil)) -> 'Image 1 (Color ('Vec 4 'Float))
 'Output :: Type
 ScreenOut :: forall (a :: 'Nat) (b :: 'List 'ImageKind) . 'FrameBuffer a b -> 'Output
-'OutputCase :: (a :: 'Output -> Type) -> (forall (b :: 'Nat) (c :: 'List 'ImageKind) . (d :: 'FrameBuffer b c) -> a (ScreenOut b c d)) -> (e :: 'Output) -> a e
-match'Output :: (a :: Type -> Type) -> a 'Output -> (b :: Type) -> a b -> a b
+'OutputCase :: forall (a :: 'Output -> Type) -> (forall (b :: 'Nat) (c :: 'List 'ImageKind) . forall (d :: 'FrameBuffer b c) -> a (ScreenOut b c d)) -> forall (e :: 'Output) -> a e
+match'Output :: forall (a :: Type -> Type) -> a 'Output -> forall b -> a b -> a b
 renderFrame :: forall (a :: 'Nat) (b :: 'List 'ImageKind) . 'FrameBuffer a b -> 'Output
 'Texture :: Type
 Texture2DSlot :: 'String -> 'Texture
 Texture2D :: 'Vec 2 'Int -> 'Image 1 (Color ('Vec 4 'Float)) -> 'Texture
-'TextureCase :: (a :: 'Texture -> Type) -> ((b :: 'String) -> a (Texture2DSlot b)) -> ((c :: 'Vec 2 'Int) -> (d :: 'Image 1 (Color ('Vec 4 'Float))) -> a (Texture2D c d)) -> (e :: 'Texture) -> a e
-match'Texture :: (a :: Type -> Type) -> a 'Texture -> (b :: Type) -> a b -> a b
+'TextureCase :: forall (a :: 'Texture -> Type) -> (forall (b :: 'String) -> a (Texture2DSlot b)) -> (forall (c :: 'Vec 2 'Int) (d :: 'Image 1 (Color ('Vec 4 'Float))) -> a (Texture2D c d)) -> forall (e :: 'Texture) -> a e
+match'Texture :: forall (a :: Type -> Type) -> a 'Texture -> forall b -> a b -> a b
 'Filter :: Type
 PointFilter :: 'Filter
 LinearFilter :: 'Filter
-'FilterCase :: (a :: 'Filter -> Type) -> a PointFilter -> a LinearFilter -> (b :: 'Filter) -> a b
-match'Filter :: (a :: Type -> Type) -> a 'Filter -> (b :: Type) -> a b -> a b
+'FilterCase :: forall (a :: 'Filter -> Type) -> a PointFilter -> a LinearFilter -> forall (b :: 'Filter) -> a b
+match'Filter :: forall (a :: Type -> Type) -> a 'Filter -> forall b -> a b -> a b
 'EdgeMode :: Type
 Repeat :: 'EdgeMode
 MirroredRepeat :: 'EdgeMode
 ClampToEdge :: 'EdgeMode
-'EdgeModeCase :: (a :: 'EdgeMode -> Type) -> a Repeat -> a MirroredRepeat -> a ClampToEdge -> (b :: 'EdgeMode) -> a b
-match'EdgeMode :: (a :: Type -> Type) -> a 'EdgeMode -> (b :: Type) -> a b -> a b
+'EdgeModeCase :: forall (a :: 'EdgeMode -> Type) -> a Repeat -> a MirroredRepeat -> a ClampToEdge -> forall (b :: 'EdgeMode) -> a b
+match'EdgeMode :: forall (a :: Type -> Type) -> a 'EdgeMode -> forall b -> a b -> a b
 'Sampler :: Type
 Sampler :: 'Filter -> 'EdgeMode -> 'Texture -> 'Sampler
-'SamplerCase :: (a :: 'Sampler -> Type) -> ((b :: 'Filter) -> (c :: 'EdgeMode) -> (d :: 'Texture) -> a (Sampler b c d)) -> (e :: 'Sampler) -> a e
-match'Sampler :: (a :: Type -> Type) -> a 'Sampler -> (b :: Type) -> a b -> a b
+'SamplerCase :: forall (a :: 'Sampler -> Type) -> (forall (b :: 'Filter) (c :: 'EdgeMode) (d :: 'Texture) -> a (Sampler b c d)) -> forall (e :: 'Sampler) -> a e
+match'Sampler :: forall (a :: Type -> Type) -> a 'Sampler -> forall b -> a b -> a b
 texture2D :: 'Sampler -> 'Vec 2 'Float -> 'Vec 4 'Float
 accumulationContext :: forall a . a -> a
 ------------ tooltips
@@ -540,7 +540,7 @@ testdata/Builtins.lc 33:41-33:46  Nat -> Type -> Type
 testdata/Builtins.lc 33:41-33:48  Type -> Type
 testdata/Builtins.lc 33:41-33:54  Type
 testdata/Builtins.lc 33:45-33:46  _b
-testdata/Builtins.lc 33:45-33:48  (a :: Type) -> Mat 2 2 a -> Type
+testdata/Builtins.lc 33:45-33:48  forall a -> Mat 2 2 a -> Type
 testdata/Builtins.lc 33:45-33:54  Mat 2 2 Float -> Type
 testdata/Builtins.lc 33:47-33:48  _b
 testdata/Builtins.lc 33:49-33:54  Type
@@ -562,7 +562,7 @@ testdata/Builtins.lc 34:41-34:46  Nat -> Type -> Type
 testdata/Builtins.lc 34:41-34:48  Type -> Type
 testdata/Builtins.lc 34:41-34:54  Type
 testdata/Builtins.lc 34:45-34:46  _b
-testdata/Builtins.lc 34:45-34:48  (a :: Type) -> Mat 3 2 a -> Type
+testdata/Builtins.lc 34:45-34:48  forall a -> Mat 3 2 a -> Type
 testdata/Builtins.lc 34:45-34:54  Mat 3 2 Float -> Type
 testdata/Builtins.lc 34:47-34:48  _b
 testdata/Builtins.lc 34:49-34:54  Type
@@ -584,7 +584,7 @@ testdata/Builtins.lc 35:41-35:46  Nat -> Type -> Type
 testdata/Builtins.lc 35:41-35:48  Type -> Type
 testdata/Builtins.lc 35:41-35:54  Type
 testdata/Builtins.lc 35:45-35:46  _b
-testdata/Builtins.lc 35:45-35:48  (a :: Type) -> Mat 4 2 a -> Type
+testdata/Builtins.lc 35:45-35:48  forall a -> Mat 4 2 a -> Type
 testdata/Builtins.lc 35:45-35:54  Mat 4 2 Float -> Type
 testdata/Builtins.lc 35:47-35:48  _b
 testdata/Builtins.lc 35:49-35:54  Type
@@ -612,7 +612,7 @@ testdata/Builtins.lc 36:56-36:61  Nat -> Type -> Type
 testdata/Builtins.lc 36:56-36:63  Type -> Type
 testdata/Builtins.lc 36:56-36:69  Type
 testdata/Builtins.lc 36:60-36:61  _b
-testdata/Builtins.lc 36:60-36:63  (a :: Type) -> Mat 2 3 a -> Type
+testdata/Builtins.lc 36:60-36:63  forall a -> Mat 2 3 a -> Type
 testdata/Builtins.lc 36:60-36:69  Mat 2 3 Float -> Type
 testdata/Builtins.lc 36:62-36:63  _b
 testdata/Builtins.lc 36:64-36:69  Type
@@ -640,7 +640,7 @@ testdata/Builtins.lc 37:56-37:61  Nat -> Type -> Type
 testdata/Builtins.lc 37:56-37:63  Type -> Type
 testdata/Builtins.lc 37:56-37:69  Type
 testdata/Builtins.lc 37:60-37:61  _b
-testdata/Builtins.lc 37:60-37:63  (a :: Type) -> Mat 3 3 a -> Type
+testdata/Builtins.lc 37:60-37:63  forall a -> Mat 3 3 a -> Type
 testdata/Builtins.lc 37:60-37:69  Mat 3 3 Float -> Type
 testdata/Builtins.lc 37:62-37:63  _b
 testdata/Builtins.lc 37:64-37:69  Type
@@ -668,7 +668,7 @@ testdata/Builtins.lc 38:56-38:61  Nat -> Type -> Type
 testdata/Builtins.lc 38:56-38:63  Type -> Type
 testdata/Builtins.lc 38:56-38:69  Type
 testdata/Builtins.lc 38:60-38:61  _b
-testdata/Builtins.lc 38:60-38:63  (a :: Type) -> Mat 4 3 a -> Type
+testdata/Builtins.lc 38:60-38:63  forall a -> Mat 4 3 a -> Type
 testdata/Builtins.lc 38:60-38:69  Mat 4 3 Float -> Type
 testdata/Builtins.lc 38:62-38:63  _b
 testdata/Builtins.lc 38:64-38:69  Type
@@ -702,7 +702,7 @@ testdata/Builtins.lc 39:71-39:76  Nat -> Type -> Type
 testdata/Builtins.lc 39:71-39:78  Type -> Type
 testdata/Builtins.lc 39:71-39:84  Type
 testdata/Builtins.lc 39:75-39:76  _b
-testdata/Builtins.lc 39:75-39:78  (a :: Type) -> Mat 2 4 a -> Type
+testdata/Builtins.lc 39:75-39:78  forall a -> Mat 2 4 a -> Type
 testdata/Builtins.lc 39:75-39:84  Mat 2 4 Float -> Type
 testdata/Builtins.lc 39:77-39:78  _b
 testdata/Builtins.lc 39:79-39:84  Type
@@ -736,7 +736,7 @@ testdata/Builtins.lc 40:71-40:76  Nat -> Type -> Type
 testdata/Builtins.lc 40:71-40:78  Type -> Type
 testdata/Builtins.lc 40:71-40:84  Type
 testdata/Builtins.lc 40:75-40:76  _b
-testdata/Builtins.lc 40:75-40:78  (a :: Type) -> Mat 3 4 a -> Type
+testdata/Builtins.lc 40:75-40:78  forall a -> Mat 3 4 a -> Type
 testdata/Builtins.lc 40:75-40:84  Mat 3 4 Float -> Type
 testdata/Builtins.lc 40:77-40:78  _b
 testdata/Builtins.lc 40:79-40:84  Type
@@ -770,7 +770,7 @@ testdata/Builtins.lc 41:71-41:76  Nat -> Type -> Type
 testdata/Builtins.lc 41:71-41:78  Type -> Type
 testdata/Builtins.lc 41:71-41:84  Type
 testdata/Builtins.lc 41:75-41:76  _b
-testdata/Builtins.lc 41:75-41:78  (a :: Type) -> Mat 4 4 a -> Type
+testdata/Builtins.lc 41:75-41:78  forall a -> Mat 4 4 a -> Type
 testdata/Builtins.lc 41:75-41:84  Mat 4 4 Float -> Type
 testdata/Builtins.lc 41:77-41:78  _b
 testdata/Builtins.lc 41:79-41:84  Type
@@ -811,22 +811,22 @@ testdata/Builtins.lc 69:9-90:31  _b
 testdata/Builtins.lc 71:10-71:12  forall a . a -> a -> VecS a 2
 testdata/Builtins.lc 71:10-71:16  Float -> VecS Float 2
 testdata/Builtins.lc 71:10-71:20  VecS Float 2
-testdata/Builtins.lc 71:10-77:28  (a :: Nat) -> VecS Float ('Succ ('Succ a)) | (a :: Nat) -> VecS Float ('Succ a)
-testdata/Builtins.lc 71:10-89:36  (a :: Nat) -> VecS _a a | (a :: Type) -> (b :: Nat) -> VecS a b | VecS _b _a
+testdata/Builtins.lc 71:10-77:28  forall (a :: Nat) -> VecS Float ('Succ ('Succ a)) | forall (a :: Nat) -> VecS Float ('Succ a)
+testdata/Builtins.lc 71:10-89:36  VecS _b _a | forall (a :: Nat) -> VecS _a a | forall a (b :: Nat) -> VecS a b
 testdata/Builtins.lc 71:13-71:16  Float
 testdata/Builtins.lc 71:17-71:20  Float
 testdata/Builtins.lc 72:9-72:11  forall a . a -> a -> VecS a 2
 testdata/Builtins.lc 72:9-72:15  Float -> VecS Float 2
 testdata/Builtins.lc 72:9-72:19  VecS Float 2
-testdata/Builtins.lc 72:9-78:27  (a :: Nat) -> VecS Float ('Succ ('Succ a)) | (a :: Nat) -> VecS Float ('Succ a)
-testdata/Builtins.lc 72:9-90:31  (a :: Nat) -> VecS _a a | (a :: Type) -> (b :: Nat) -> VecS a b | VecS _b _a
+testdata/Builtins.lc 72:9-78:27  forall (a :: Nat) -> VecS Float ('Succ ('Succ a)) | forall (a :: Nat) -> VecS Float ('Succ a)
+testdata/Builtins.lc 72:9-90:31  VecS _b _a | forall (a :: Nat) -> VecS _a a | forall a (b :: Nat) -> VecS a b
 testdata/Builtins.lc 72:12-72:15  Float
 testdata/Builtins.lc 72:16-72:19  Float
 testdata/Builtins.lc 74:10-74:12  forall a . a -> a -> a -> VecS a 3
 testdata/Builtins.lc 74:10-74:16  Float -> Float -> VecS Float 3
 testdata/Builtins.lc 74:10-74:20  Float -> VecS Float 3
 testdata/Builtins.lc 74:10-74:24  VecS Float 3
-testdata/Builtins.lc 74:10-77:28  (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ a)))
+testdata/Builtins.lc 74:10-77:28  forall (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ a)))
 testdata/Builtins.lc 74:13-74:16  Float
 testdata/Builtins.lc 74:17-74:20  Float
 testdata/Builtins.lc 74:21-74:24  Float
@@ -834,7 +834,7 @@ testdata/Builtins.lc 75:9-75:11  forall a . a -> a -> a -> VecS a 3
 testdata/Builtins.lc 75:9-75:15  Float -> Float -> VecS Float 3
 testdata/Builtins.lc 75:9-75:19  Float -> VecS Float 3
 testdata/Builtins.lc 75:9-75:23  VecS Float 3
-testdata/Builtins.lc 75:9-78:27  (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ a)))
+testdata/Builtins.lc 75:9-78:27  forall (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ a)))
 testdata/Builtins.lc 75:12-75:15  Float
 testdata/Builtins.lc 75:16-75:19  Float
 testdata/Builtins.lc 75:20-75:23  Float
@@ -842,7 +842,7 @@ testdata/Builtins.lc 77:10-77:12  forall a . a -> a -> a -> a -> VecS a 4
 testdata/Builtins.lc 77:10-77:16  Float -> Float -> Float -> VecS Float 4
 testdata/Builtins.lc 77:10-77:20  Float -> Float -> VecS Float 4
 testdata/Builtins.lc 77:10-77:24  Float -> VecS Float 4
-testdata/Builtins.lc 77:10-77:28  (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ ('Succ a)))) | VecS Float 4
+testdata/Builtins.lc 77:10-77:28  VecS Float 4 | forall (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
 testdata/Builtins.lc 77:13-77:16  Float
 testdata/Builtins.lc 77:17-77:20  Float
 testdata/Builtins.lc 77:21-77:24  Float
@@ -851,7 +851,7 @@ testdata/Builtins.lc 78:9-78:11  forall a . a -> a -> a -> a -> VecS a 4
 testdata/Builtins.lc 78:9-78:15  Float -> Float -> Float -> VecS Float 4
 testdata/Builtins.lc 78:9-78:19  Float -> Float -> VecS Float 4
 testdata/Builtins.lc 78:9-78:23  Float -> VecS Float 4
-testdata/Builtins.lc 78:9-78:27  (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ ('Succ a)))) | VecS Float 4
+testdata/Builtins.lc 78:9-78:27  VecS Float 4 | forall (a :: Nat) -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
 testdata/Builtins.lc 78:12-78:15  Float
 testdata/Builtins.lc 78:16-78:19  Float
 testdata/Builtins.lc 78:20-78:23  Float
@@ -861,20 +861,20 @@ testdata/Builtins.lc 81:9-81:13  Bool
 testdata/Builtins.lc 83:10-83:12  forall a . a -> a -> VecS a 2
 testdata/Builtins.lc 83:10-83:18  Bool -> VecS Bool 2
 testdata/Builtins.lc 83:10-83:24  VecS Bool 2
-testdata/Builtins.lc 83:10-89:36  (a :: Nat) -> VecS Bool ('Succ ('Succ a)) | (a :: Nat) -> VecS Bool ('Succ a)
+testdata/Builtins.lc 83:10-89:36  forall (a :: Nat) -> VecS Bool ('Succ ('Succ a)) | forall (a :: Nat) -> VecS Bool ('Succ a)
 testdata/Builtins.lc 83:13-83:18  Bool
 testdata/Builtins.lc 83:19-83:24  Bool
 testdata/Builtins.lc 84:9-84:11  forall a . a -> a -> VecS a 2
 testdata/Builtins.lc 84:9-84:16  Bool -> VecS Bool 2
 testdata/Builtins.lc 84:9-84:21  VecS Bool 2
-testdata/Builtins.lc 84:9-90:31  (a :: Nat) -> VecS Bool ('Succ ('Succ a)) | (a :: Nat) -> VecS Bool ('Succ a)
+testdata/Builtins.lc 84:9-90:31  forall (a :: Nat) -> VecS Bool ('Succ ('Succ a)) | forall (a :: Nat) -> VecS Bool ('Succ a)
 testdata/Builtins.lc 84:12-84:16  Bool
 testdata/Builtins.lc 84:17-84:21  Bool
 testdata/Builtins.lc 86:10-86:12  forall a . a -> a -> a -> VecS a 3
 testdata/Builtins.lc 86:10-86:18  Bool -> Bool -> VecS Bool 3
 testdata/Builtins.lc 86:10-86:24  Bool -> VecS Bool 3
 testdata/Builtins.lc 86:10-86:30  VecS Bool 3
-testdata/Builtins.lc 86:10-89:36  (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ a)))
+testdata/Builtins.lc 86:10-89:36  forall (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ a)))
 testdata/Builtins.lc 86:13-86:18  Bool
 testdata/Builtins.lc 86:19-86:24  Bool
 testdata/Builtins.lc 86:25-86:30  Bool
@@ -882,7 +882,7 @@ testdata/Builtins.lc 87:9-87:11  forall a . a -> a -> a -> VecS a 3
 testdata/Builtins.lc 87:9-87:16  Bool -> Bool -> VecS Bool 3
 testdata/Builtins.lc 87:9-87:21  Bool -> VecS Bool 3
 testdata/Builtins.lc 87:9-87:26  VecS Bool 3
-testdata/Builtins.lc 87:9-90:31  (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ a)))
+testdata/Builtins.lc 87:9-90:31  forall (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ a)))
 testdata/Builtins.lc 87:12-87:16  Bool
 testdata/Builtins.lc 87:17-87:21  Bool
 testdata/Builtins.lc 87:22-87:26  Bool
@@ -890,7 +890,7 @@ testdata/Builtins.lc 89:10-89:12  forall a . a -> a -> a -> a -> VecS a 4
 testdata/Builtins.lc 89:10-89:18  Bool -> Bool -> Bool -> VecS Bool 4
 testdata/Builtins.lc 89:10-89:24  Bool -> Bool -> VecS Bool 4
 testdata/Builtins.lc 89:10-89:30  Bool -> VecS Bool 4
-testdata/Builtins.lc 89:10-89:36  (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ ('Succ a)))) | VecS Bool 4
+testdata/Builtins.lc 89:10-89:36  VecS Bool 4 | forall (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
 testdata/Builtins.lc 89:13-89:18  Bool
 testdata/Builtins.lc 89:19-89:24  Bool
 testdata/Builtins.lc 89:25-89:30  Bool
@@ -899,7 +899,7 @@ testdata/Builtins.lc 90:9-90:11  forall a . a -> a -> a -> a -> VecS a 4
 testdata/Builtins.lc 90:9-90:16  Bool -> Bool -> Bool -> VecS Bool 4
 testdata/Builtins.lc 90:9-90:21  Bool -> Bool -> VecS Bool 4
 testdata/Builtins.lc 90:9-90:26  Bool -> VecS Bool 4
-testdata/Builtins.lc 90:9-90:31  (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ ('Succ a)))) | VecS Bool 4
+testdata/Builtins.lc 90:9-90:31  VecS Bool 4 | forall (a :: Nat) -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
 testdata/Builtins.lc 90:12-90:16  Bool
 testdata/Builtins.lc 90:17-90:21  Bool
 testdata/Builtins.lc 90:22-90:26  Bool
@@ -2068,7 +2068,7 @@ testdata/Builtins.lc 264:1-264:10  forall a . String -> a
 testdata/Builtins.lc 264:14-264:20  Type
 testdata/Builtins.lc 264:14-264:25  Type
 testdata/Builtins.lc 264:24-264:25  Type | _c
-testdata/Builtins.lc 266:1-266:12  forall (a :: PrimitiveType) (b :: List Type) . String -> (c :: List String) -> ('len String c ~ 'len Type b) => PrimitiveStream a (HList b)
+testdata/Builtins.lc 266:1-266:12  forall (a :: PrimitiveType) (b :: List Type) . String -> forall (c :: List String) -> ('len String c ~ 'len Type b) => PrimitiveStream a (HList b)
 testdata/Builtins.lc 266:31-266:37  Type
 testdata/Builtins.lc 266:31-266:123  Type
 testdata/Builtins.lc 266:32-266:36  Type
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 6eb77da3..06c09de3 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -6,49 +6,49 @@ undefined :: forall a . a
 primFix :: forall a . (a -> a) -> a
 'Unit :: Type
 TT :: 'Unit
-'UnitCase :: (a :: 'Unit -> Type) -> a TT -> (b :: 'Unit) -> a b
-match'Unit :: (a :: Type -> Type) -> a 'Unit -> (b :: Type) -> a b -> a b
+'UnitCase :: forall (a :: 'Unit -> Type) -> a TT -> forall (b :: 'Unit) -> a b
+match'Unit :: forall (a :: Type -> Type) -> a 'Unit -> forall b -> a b -> a b
 'String :: Type
-'StringCase :: (a :: 'String -> Type) -> (b :: 'String) -> a b
-match'String :: (a :: Type -> Type) -> a 'String -> (b :: Type) -> a b -> a b
+'StringCase :: forall (a :: 'String -> Type) (b :: 'String) -> a b
+match'String :: forall (a :: Type -> Type) -> a 'String -> forall b -> a b -> a b
 'Empty :: 'String -> Type
-'EmptyCase :: forall (a :: 'String) . (b :: 'Empty a -> Type) -> (c :: 'Empty a) -> b c
-match'Empty :: (a :: Type -> Type) -> ((b :: 'String) -> a ('Empty b)) -> (c :: Type) -> a c -> a c
+'EmptyCase :: forall (a :: 'String) . forall (b :: 'Empty a -> Type) (c :: 'Empty a) -> b c
+match'Empty :: forall (a :: Type -> Type) -> (forall (b :: 'String) -> a ('Empty b)) -> forall c -> a c -> a c
 unsafeCoerce :: forall a b . a -> b
-'EqCT :: (a :: Type) -> a -> a -> Type
-parEval :: (a :: Type) -> a -> a -> a
+'EqCT :: forall a -> a -> a -> Type
+parEval :: forall a -> a -> a -> a
 'T2 :: Type -> Type -> Type
-match'Type :: (a :: Type -> Type) -> a Type -> (b :: Type) -> a b -> a b
+match'Type :: forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b
 'EqCTt :: forall a . a -> a -> Type
 t2C :: 'Unit -> 'Unit -> 'Unit
 'Int :: Type
-'IntCase :: (a :: 'Int -> Type) -> (b :: 'Int) -> a b
-match'Int :: (a :: Type -> Type) -> a 'Int -> (b :: Type) -> a b -> a b
+'IntCase :: forall (a :: 'Int -> Type) (b :: 'Int) -> a b
+match'Int :: forall (a :: Type -> Type) -> a 'Int -> forall b -> a b -> a b
 'Word :: Type
-'WordCase :: (a :: 'Word -> Type) -> (b :: 'Word) -> a b
-match'Word :: (a :: Type -> Type) -> a 'Word -> (b :: Type) -> a b -> a b
+'WordCase :: forall (a :: 'Word -> Type) (b :: 'Word) -> a b
+match'Word :: forall (a :: Type -> Type) -> a 'Word -> forall b -> a b -> a b
 'Float :: Type
-'FloatCase :: (a :: 'Float -> Type) -> (b :: 'Float) -> a b
-match'Float :: (a :: Type -> Type) -> a 'Float -> (b :: Type) -> a b -> a b
+'FloatCase :: forall (a :: 'Float -> Type) (b :: 'Float) -> a b
+match'Float :: forall (a :: Type -> Type) -> a 'Float -> forall b -> a b -> a b
 'Char :: Type
-'CharCase :: (a :: 'Char -> Type) -> (b :: 'Char) -> a b
-match'Char :: (a :: Type -> Type) -> a 'Char -> (b :: Type) -> a b -> a b
+'CharCase :: forall (a :: 'Char -> Type) (b :: 'Char) -> a b
+match'Char :: forall (a :: Type -> Type) -> a 'Char -> forall b -> a b -> a b
 'Bool :: Type
 False :: 'Bool
 True :: 'Bool
-'BoolCase :: (a :: 'Bool -> Type) -> a False -> a True -> (b :: 'Bool) -> a b
-match'Bool :: (a :: Type -> Type) -> a 'Bool -> (b :: Type) -> a b -> a b
+'BoolCase :: forall (a :: 'Bool -> Type) -> a False -> a True -> forall (b :: 'Bool) -> a b
+match'Bool :: forall (a :: Type -> Type) -> a 'Bool -> forall b -> a b -> a b
 'Ordering :: Type
 LT :: 'Ordering
 EQ :: 'Ordering
 GT :: 'Ordering
-'OrderingCase :: (a :: 'Ordering -> Type) -> a LT -> a EQ -> a GT -> (b :: 'Ordering) -> a b
-match'Ordering :: (a :: Type -> Type) -> a 'Ordering -> (b :: Type) -> a b -> a b
+'OrderingCase :: forall (a :: 'Ordering -> Type) -> a LT -> a EQ -> a GT -> forall (b :: 'Ordering) -> a b
+match'Ordering :: forall (a :: Type -> Type) -> a 'Ordering -> forall b -> a b -> a b
 'Nat :: Type
 Zero :: 'Nat
 Succ :: 'Nat -> 'Nat
-'NatCase :: (a :: 'Nat -> Type) -> a 0 -> ((b :: 'Nat) -> a (Succ b)) -> (c :: 'Nat) -> a c
-match'Nat :: (a :: Type -> Type) -> a 'Nat -> (b :: Type) -> a b -> a b
+'NatCase :: forall (a :: 'Nat -> Type) -> a 0 -> (forall (b :: 'Nat) -> a (Succ b)) -> forall (c :: 'Nat) -> a c
+match'Nat :: forall (a :: Type -> Type) -> a 'Nat -> forall b -> a b -> a b
 primIntToWord :: 'Int -> 'Word
 primIntToFloat :: 'Int -> 'Float
 primIntToNat :: 'Int -> 'Nat
@@ -76,15 +76,15 @@ negate :: forall a . 'Num a => a[
 'List :: Type -> Type
 Nil :: forall a . 'List a
 Cons :: forall a . a -> 'List a -> 'List a
-'ListCase :: forall a . (b :: 'List a -> Type) -> b Nil -> ((c :: a) -> (d :: 'List a) -> b (Cons c d)) -> (e :: 'List a) -> b e
-match'List :: (a :: Type -> Type) -> ((b :: Type) -> a ('List b)) -> (c :: Type) -> a c -> a c
+'ListCase :: forall a . forall (b :: 'List a -> Type) -> b Nil -> (forall (c :: a) (d :: 'List a) -> b (Cons c d)) -> forall (e :: 'List a) -> b e
+match'List :: forall (a :: Type -> Type) -> (forall b -> a ('List b)) -> forall c -> a c -> a c
 'HList :: 'List Type -> Type
 HNil :: ()
 HCons :: forall a (b :: 'List Type) . a -> 'HList b -> 'HList (Cons a b)
-'HListCase :: (a :: (b :: 'List Type) -> 'HList b -> Type) -> a Nil () -> (forall c (d :: 'List Type) . (e :: c) -> (f :: 'HList d) -> a (Cons c d) (HCons c d e f)) -> forall (g :: 'List Type) . (h :: 'HList g) -> a g h
-match'HList :: (a :: Type -> Type) -> ((b :: 'List Type) -> a ('HList b)) -> (c :: Type) -> a c -> a c
-hlistNilCase :: (a :: Type) -> a -> () -> a
-hlistConsCase :: forall a (b :: 'List Type) . (c :: Type) -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c
+'HListCase :: forall (a :: forall (b :: 'List Type) -> 'HList b -> Type) -> a Nil () -> (forall c (d :: 'List Type) . forall (e :: c) (f :: 'HList d) -> a (Cons c d) (HCons c d e f)) -> forall (g :: 'List Type) . forall (h :: 'HList g) -> a g h
+match'HList :: forall (a :: Type -> Type) -> (forall (b :: 'List Type) -> a ('HList b)) -> forall c -> a c -> a c
+hlistNilCase :: forall a -> a -> () -> a
+hlistConsCase :: forall a (b :: 'List Type) . forall c -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c
 ------------ tooltips
 testdata/Internals.lc 6:1-6:8  forall a . a -> a
 testdata/Internals.lc 6:13-6:14  _b
@@ -109,19 +109,19 @@ testdata/Internals.lc 19:1-19:13  forall a b . a -> b
 testdata/Internals.lc 19:30-19:31  _d
 testdata/Internals.lc 19:30-19:36  Type
 testdata/Internals.lc 19:35-19:36  Type | _c
-testdata/Internals.lc 22:13-22:17  (a :: Type) -> a -> a -> Type
+testdata/Internals.lc 22:13-22:17  forall a -> a -> a -> Type
 testdata/Internals.lc 22:24-22:28  Type
 testdata/Internals.lc 22:36-22:37  Type
 testdata/Internals.lc 22:36-22:46  Type
 testdata/Internals.lc 22:45-22:46  Type
-testdata/Internals.lc 31:1-31:8  (a :: Type) -> a -> a -> a
+testdata/Internals.lc 31:1-31:8  forall a -> a -> a -> a
 testdata/Internals.lc 31:24-31:25  _b
 testdata/Internals.lc 31:24-31:35  Type
 testdata/Internals.lc 31:29-31:30  Type
 testdata/Internals.lc 31:29-31:35  Type
 testdata/Internals.lc 31:34-31:35  Type
 testdata/Internals.lc 34:13-34:15  Type -> Type -> Type
-testdata/Internals.lc 36:1-36:11  (a :: Type -> Type) -> a Type -> (b :: Type) -> a b -> a b
+testdata/Internals.lc 36:1-36:11  forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b
 testdata/Internals.lc 36:28-36:32  Type
 testdata/Internals.lc 36:36-36:40  Type
 testdata/Internals.lc 36:45-36:46  Type -> Type
@@ -138,7 +138,7 @@ testdata/Internals.lc 36:84-36:85  Type -> Type
 testdata/Internals.lc 36:84-36:87  Type
 testdata/Internals.lc 36:86-36:87  Type
 testdata/Internals.lc 38:6-38:11  forall a . a -> a -> Type
-testdata/Internals.lc 38:14-38:18  (a :: Type) -> a -> a -> Type
+testdata/Internals.lc 38:14-38:18  forall a -> a -> a -> Type
 testdata/Internals.lc 38:14-38:20  _a -> _a -> Type
 testdata/Internals.lc 41:1-41:4  Unit -> Unit -> Unit
 testdata/Internals.lc 41:8-41:12  Type
@@ -373,7 +373,7 @@ testdata/Internals.lc 128:39-128:41  List Type -> List Type
 testdata/Internals.lc 128:39-128:44  List Type
 testdata/Internals.lc 128:40-128:41  forall a . a -> List a -> List a
 testdata/Internals.lc 128:42-128:44  List Type
-testdata/Internals.lc 130:1-130:13  (a :: Type) -> a -> () -> a
+testdata/Internals.lc 130:1-130:13  forall a -> a -> () -> a
 testdata/Internals.lc 130:29-130:30  _b
 testdata/Internals.lc 130:29-130:48  Type
 testdata/Internals.lc 130:34-130:39  List Type -> Type
@@ -381,7 +381,7 @@ testdata/Internals.lc 130:34-130:43  Type
 testdata/Internals.lc 130:34-130:48  Type
 testdata/Internals.lc 130:40-130:43  forall a . List a
 testdata/Internals.lc 130:47-130:48  Type
-testdata/Internals.lc 131:1-131:14  forall a (b :: List Type) . (c :: Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+testdata/Internals.lc 131:1-131:14  forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
 testdata/Internals.lc 132:21-132:25  Type
 testdata/Internals.lc 132:33-132:37  Type -> Type
 testdata/Internals.lc 132:33-132:42  Type
diff --git a/testdata/Material.out b/testdata/Material.out
index 1112eb52..c819ce60 100644
--- a/testdata/Material.out
+++ b/testdata/Material.out
@@ -3,8 +3,8 @@ main is not found
 identityLight :: 'Float
 'Entity :: Type
 Entity :: 'Vec 4 'Float -> 'Vec 4 'Float -> 'Vec 3 'Float -> 'Vec 4 'Float -> 'Entity
-'EntityCase :: (a :: 'Entity -> Type) -> ((b :: 'Vec 4 'Float) -> (c :: 'Vec 4 'Float) -> (d :: 'Vec 3 'Float) -> (e :: 'Vec 4 'Float) -> a (Entity b c d e)) -> (f :: 'Entity) -> a f
-match'Entity :: (a :: Type -> Type) -> a 'Entity -> (b :: Type) -> a b -> a b
+'EntityCase :: forall (a :: 'Entity -> Type) -> (forall (b :: 'Vec 4 'Float) (c :: 'Vec 4 'Float) (d :: 'Vec 3 'Float) (e :: 'Vec 4 'Float) -> a (Entity b c d e)) -> forall (f :: 'Entity) -> a f
+match'Entity :: forall (a :: Type -> Type) -> a 'Entity -> forall b -> a b -> a b
 eAmbientLight :: 'Entity -> 'VecS 'Float 4
 eDirectedLight :: 'Entity -> 'VecS 'Float 4
 eLightDir :: 'Entity -> 'VecS 'Float 3
@@ -16,12 +16,12 @@ WT_Square :: 'WaveType
 WT_Sawtooth :: 'WaveType
 WT_InverseSawtooth :: 'WaveType
 WT_Noise :: 'WaveType
-'WaveTypeCase :: (a :: 'WaveType -> Type) -> a WT_Sin -> a WT_Triangle -> a WT_Square -> a WT_Sawtooth -> a WT_InverseSawtooth -> a WT_Noise -> (b :: 'WaveType) -> a b
-match'WaveType :: (a :: Type -> Type) -> a 'WaveType -> (b :: Type) -> a b -> a b
+'WaveTypeCase :: forall (a :: 'WaveType -> Type) -> a WT_Sin -> a WT_Triangle -> a WT_Square -> a WT_Sawtooth -> a WT_InverseSawtooth -> a WT_Noise -> forall (b :: 'WaveType) -> a b
+match'WaveType :: forall (a :: Type -> Type) -> a 'WaveType -> forall b -> a b -> a b
 'Wave :: Type
 Wave :: 'WaveType -> 'Float -> 'Float -> 'Float -> 'Float -> 'Wave
-'WaveCase :: (a :: 'Wave -> Type) -> ((b :: 'WaveType) -> (c :: 'Float) -> (d :: 'Float) -> (e :: 'Float) -> (f :: 'Float) -> a (Wave b c d e f)) -> (g :: 'Wave) -> a g
-match'Wave :: (a :: Type -> Type) -> a 'Wave -> (b :: Type) -> a b -> a b
+'WaveCase :: forall (a :: 'Wave -> Type) -> (forall (b :: 'WaveType) (c :: 'Float) (d :: 'Float) (e :: 'Float) (f :: 'Float) -> a (Wave b c d e f)) -> forall (g :: 'Wave) -> a g
+match'Wave :: forall (a :: Type -> Type) -> a 'Wave -> forall b -> a b -> a b
 'Deform :: Type
 D_AutoSprite :: 'Deform
 D_AutoSprite2 :: 'Deform
@@ -38,14 +38,14 @@ D_Text5 :: 'Deform
 D_Text6 :: 'Deform
 D_Text7 :: 'Deform
 D_Wave :: 'Float -> 'Wave -> 'Deform
-'DeformCase :: (a :: 'Deform -> Type) -> a D_AutoSprite -> a D_AutoSprite2 -> ((b :: 'Float) -> (c :: 'Float) -> (d :: 'Float) -> a (D_Bulge b c d)) -> ((e :: 'Vec 3 'Float) -> (f :: 'Wave) -> a (D_Move e f)) -> ((g :: 'Float) -> (h :: 'Float) -> a (D_Normal g h)) -> a D_ProjectionShadow -> a D_Text0 -> a D_Text1 -> a D_Text2 -> a D_Text3 -> a D_Text4 -> a D_Text5 -> a D_Text6 -> a D_Text7 -> ((i :: 'Float) -> (j :: 'Wave) -> a (D_Wave i j)) -> (k :: 'Deform) -> a k
-match'Deform :: (a :: Type -> Type) -> a 'Deform -> (b :: Type) -> a b -> a b
+'DeformCase :: forall (a :: 'Deform -> Type) -> a D_AutoSprite -> a D_AutoSprite2 -> (forall (b :: 'Float) (c :: 'Float) (d :: 'Float) -> a (D_Bulge b c d)) -> (forall (e :: 'Vec 3 'Float) (f :: 'Wave) -> a (D_Move e f)) -> (forall (g :: 'Float) (h :: 'Float) -> a (D_Normal g h)) -> a D_ProjectionShadow -> a D_Text0 -> a D_Text1 -> a D_Text2 -> a D_Text3 -> a D_Text4 -> a D_Text5 -> a D_Text6 -> a D_Text7 -> (forall (i :: 'Float) (j :: 'Wave) -> a (D_Wave i j)) -> forall (k :: 'Deform) -> a k
+match'Deform :: forall (a :: Type -> Type) -> a 'Deform -> forall b -> a b -> a b
 'CullType :: Type
 CT_FrontSided :: 'CullType
 CT_BackSided :: 'CullType
 CT_TwoSided :: 'CullType
-'CullTypeCase :: (a :: 'CullType -> Type) -> a CT_FrontSided -> a CT_BackSided -> a CT_TwoSided -> (b :: 'CullType) -> a b
-match'CullType :: (a :: Type -> Type) -> a 'CullType -> (b :: Type) -> a b -> a b
+'CullTypeCase :: forall (a :: 'CullType -> Type) -> a CT_FrontSided -> a CT_BackSided -> a CT_TwoSided -> forall (b :: 'CullType) -> a b
+match'CullType :: forall (a :: Type -> Type) -> a 'CullType -> forall b -> a b -> a b
 'Blending' :: Type
 B_DstAlpha :: 'Blending'
 B_DstColor :: 'Blending'
@@ -58,8 +58,8 @@ B_SrcAlpha :: 'Blending'
 B_SrcAlphaSaturate :: 'Blending'
 B_SrcColor :: 'Blending'
 B_Zero :: 'Blending'
-'Blending'Case :: (a :: 'Blending' -> Type) -> a B_DstAlpha -> a B_DstColor -> a B_One -> a B_OneMinusDstAlpha -> a B_OneMinusDstColor -> a B_OneMinusSrcAlpha -> a B_OneMinusSrcColor -> a B_SrcAlpha -> a B_SrcAlphaSaturate -> a B_SrcColor -> a B_Zero -> (b :: 'Blending') -> a b
-match'Blending' :: (a :: Type -> Type) -> a 'Blending' -> (b :: Type) -> a b -> a b
+'Blending'Case :: forall (a :: 'Blending' -> Type) -> a B_DstAlpha -> a B_DstColor -> a B_One -> a B_OneMinusDstAlpha -> a B_OneMinusDstColor -> a B_OneMinusSrcAlpha -> a B_OneMinusSrcColor -> a B_SrcAlpha -> a B_SrcAlphaSaturate -> a B_SrcColor -> a B_Zero -> forall (b :: 'Blending') -> a b
+match'Blending' :: forall (a :: Type -> Type) -> a 'Blending' -> forall b -> a b -> a b
 'RGBGen :: Type
 RGB_Wave :: 'Wave -> 'RGBGen
 RGB_Const :: 'Float -> 'Float -> 'Float -> 'RGBGen
@@ -72,8 +72,8 @@ RGB_Vertex :: 'RGBGen
 RGB_LightingDiffuse :: 'RGBGen
 RGB_OneMinusVertex :: 'RGBGen
 RGB_Undefined :: 'RGBGen
-'RGBGenCase :: (a :: 'RGBGen -> Type) -> ((b :: 'Wave) -> a (RGB_Wave b)) -> ((c :: 'Float) -> (d :: 'Float) -> (e :: 'Float) -> a (RGB_Const c d e)) -> a RGB_Identity -> a RGB_IdentityLighting -> a RGB_Entity -> a RGB_OneMinusEntity -> a RGB_ExactVertex -> a RGB_Vertex -> a RGB_LightingDiffuse -> a RGB_OneMinusVertex -> a RGB_Undefined -> (f :: 'RGBGen) -> a f
-match'RGBGen :: (a :: Type -> Type) -> a 'RGBGen -> (b :: Type) -> a b -> a b
+'RGBGenCase :: forall (a :: 'RGBGen -> Type) -> (forall (b :: 'Wave) -> a (RGB_Wave b)) -> (forall (c :: 'Float) (d :: 'Float) (e :: 'Float) -> a (RGB_Const c d e)) -> a RGB_Identity -> a RGB_IdentityLighting -> a RGB_Entity -> a RGB_OneMinusEntity -> a RGB_ExactVertex -> a RGB_Vertex -> a RGB_LightingDiffuse -> a RGB_OneMinusVertex -> a RGB_Undefined -> forall (f :: 'RGBGen) -> a f
+match'RGBGen :: forall (a :: Type -> Type) -> a 'RGBGen -> forall b -> a b -> a b
 'AlphaGen :: Type
 A_Wave :: 'Wave -> 'AlphaGen
 A_Const :: 'Float -> 'AlphaGen
@@ -84,16 +84,16 @@ A_OneMinusEntity :: 'AlphaGen
 A_Vertex :: 'AlphaGen
 A_LightingSpecular :: 'AlphaGen
 A_OneMinusVertex :: 'AlphaGen
-'AlphaGenCase :: (a :: 'AlphaGen -> Type) -> ((b :: 'Wave) -> a (A_Wave b)) -> ((c :: 'Float) -> a (A_Const c)) -> a A_Portal -> a A_Identity -> a A_Entity -> a A_OneMinusEntity -> a A_Vertex -> a A_LightingSpecular -> a A_OneMinusVertex -> (d :: 'AlphaGen) -> a d
-match'AlphaGen :: (a :: Type -> Type) -> a 'AlphaGen -> (b :: Type) -> a b -> a b
+'AlphaGenCase :: forall (a :: 'AlphaGen -> Type) -> (forall (b :: 'Wave) -> a (A_Wave b)) -> (forall (c :: 'Float) -> a (A_Const c)) -> a A_Portal -> a A_Identity -> a A_Entity -> a A_OneMinusEntity -> a A_Vertex -> a A_LightingSpecular -> a A_OneMinusVertex -> forall (d :: 'AlphaGen) -> a d
+match'AlphaGen :: forall (a :: Type -> Type) -> a 'AlphaGen -> forall b -> a b -> a b
 'TCGen :: Type
 TG_Base :: 'TCGen
 TG_Lightmap :: 'TCGen
 TG_Environment :: 'TCGen
 TG_Vector :: 'Vec 3 'Float -> 'Vec 3 'Float -> 'TCGen
 TG_Undefined :: 'TCGen
-'TCGenCase :: (a :: 'TCGen -> Type) -> a TG_Base -> a TG_Lightmap -> a TG_Environment -> ((b :: 'Vec 3 'Float) -> (c :: 'Vec 3 'Float) -> a (TG_Vector b c)) -> a TG_Undefined -> (d :: 'TCGen) -> a d
-match'TCGen :: (a :: Type -> Type) -> a 'TCGen -> (b :: Type) -> a b -> a b
+'TCGenCase :: forall (a :: 'TCGen -> Type) -> a TG_Base -> a TG_Lightmap -> a TG_Environment -> (forall (b :: 'Vec 3 'Float) (c :: 'Vec 3 'Float) -> a (TG_Vector b c)) -> a TG_Undefined -> forall (d :: 'TCGen) -> a d
+match'TCGen :: forall (a :: Type -> Type) -> a 'TCGen -> forall b -> a b -> a b
 'TCMod :: Type
 TM_EntityTranslate :: 'TCMod
 TM_Rotate :: 'Float -> 'TCMod
@@ -102,31 +102,31 @@ TM_Scale :: 'Float -> 'Float -> 'TCMod
 TM_Stretch :: 'Wave -> 'TCMod
 TM_Transform :: 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
 TM_Turb :: 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
-'TCModCase :: (a :: 'TCMod -> Type) -> a TM_EntityTranslate -> ((b :: 'Float) -> a (TM_Rotate b)) -> ((c :: 'Float) -> (d :: 'Float) -> a (TM_Scroll c d)) -> ((e :: 'Float) -> (f :: 'Float) -> a (TM_Scale e f)) -> ((g :: 'Wave) -> a (TM_Stretch g)) -> ((h :: 'Float) -> (i :: 'Float) -> (j :: 'Float) -> (k :: 'Float) -> (l :: 'Float) -> (m :: 'Float) -> a (TM_Transform h i j k l m)) -> ((n :: 'Float) -> (o :: 'Float) -> (p :: 'Float) -> (q :: 'Float) -> a (TM_Turb n o p q)) -> (r :: 'TCMod) -> a r
-match'TCMod :: (a :: Type -> Type) -> a 'TCMod -> (b :: Type) -> a b -> a b
+'TCModCase :: forall (a :: 'TCMod -> Type) -> a TM_EntityTranslate -> (forall (b :: 'Float) -> a (TM_Rotate b)) -> (forall (c :: 'Float) (d :: 'Float) -> a (TM_Scroll c d)) -> (forall (e :: 'Float) (f :: 'Float) -> a (TM_Scale e f)) -> (forall (g :: 'Wave) -> a (TM_Stretch g)) -> (forall (h :: 'Float) (i :: 'Float) (j :: 'Float) (k :: 'Float) (l :: 'Float) (m :: 'Float) -> a (TM_Transform h i j k l m)) -> (forall (n :: 'Float) (o :: 'Float) (p :: 'Float) (q :: 'Float) -> a (TM_Turb n o p q)) -> forall (r :: 'TCMod) -> a r
+match'TCMod :: forall (a :: Type -> Type) -> a 'TCMod -> forall b -> a b -> a b
 'StageTexture :: Type
 ST_Map :: 'String -> 'StageTexture
 ST_ClampMap :: 'String -> 'StageTexture
 ST_AnimMap :: 'Float -> 'List 'String -> 'StageTexture
 ST_Lightmap :: 'StageTexture
 ST_WhiteImage :: 'StageTexture
-'StageTextureCase :: (a :: 'StageTexture -> Type) -> ((b :: 'String) -> a (ST_Map b)) -> ((c :: 'String) -> a (ST_ClampMap c)) -> ((d :: 'Float) -> (e :: 'List 'String) -> a (ST_AnimMap d e)) -> a ST_Lightmap -> a ST_WhiteImage -> (f :: 'StageTexture) -> a f
-match'StageTexture :: (a :: Type -> Type) -> a 'StageTexture -> (b :: Type) -> a b -> a b
+'StageTextureCase :: forall (a :: 'StageTexture -> Type) -> (forall (b :: 'String) -> a (ST_Map b)) -> (forall (c :: 'String) -> a (ST_ClampMap c)) -> (forall (d :: 'Float) (e :: 'List 'String) -> a (ST_AnimMap d e)) -> a ST_Lightmap -> a ST_WhiteImage -> forall (f :: 'StageTexture) -> a f
+match'StageTexture :: forall (a :: Type -> Type) -> a 'StageTexture -> forall b -> a b -> a b
 'AlphaFunction :: Type
 A_Gt0 :: 'AlphaFunction
 A_Lt128 :: 'AlphaFunction
 A_Ge128 :: 'AlphaFunction
-'AlphaFunctionCase :: (a :: 'AlphaFunction -> Type) -> a A_Gt0 -> a A_Lt128 -> a A_Ge128 -> (b :: 'AlphaFunction) -> a b
-match'AlphaFunction :: (a :: Type -> Type) -> a 'AlphaFunction -> (b :: Type) -> a b -> a b
+'AlphaFunctionCase :: forall (a :: 'AlphaFunction -> Type) -> a A_Gt0 -> a A_Lt128 -> a A_Ge128 -> forall (b :: 'AlphaFunction) -> a b
+match'AlphaFunction :: forall (a :: Type -> Type) -> a 'AlphaFunction -> forall b -> a b -> a b
 'DepthFunction :: Type
 D_Equal :: 'DepthFunction
 D_Lequal :: 'DepthFunction
-'DepthFunctionCase :: (a :: 'DepthFunction -> Type) -> a D_Equal -> a D_Lequal -> (b :: 'DepthFunction) -> a b
-match'DepthFunction :: (a :: Type -> Type) -> a 'DepthFunction -> (b :: Type) -> a b -> a b
+'DepthFunctionCase :: forall (a :: 'DepthFunction -> Type) -> a D_Equal -> a D_Lequal -> forall (b :: 'DepthFunction) -> a b
+match'DepthFunction :: forall (a :: Type -> Type) -> a 'DepthFunction -> forall b -> a b -> a b
 'StageAttrs :: Type
 StageAttrs :: 'Maybe ('Blending', 'Blending') -> 'RGBGen -> 'AlphaGen -> 'TCGen -> 'List 'TCMod -> 'StageTexture -> 'Bool -> 'DepthFunction -> 'Maybe 'AlphaFunction -> 'Bool -> 'String -> 'StageAttrs
-'StageAttrsCase :: (a :: 'StageAttrs -> Type) -> ((b :: 'Maybe ('Blending', 'Blending')) -> (c :: 'RGBGen) -> (d :: 'AlphaGen) -> (e :: 'TCGen) -> (f :: 'List 'TCMod) -> (g :: 'StageTexture) -> (h :: 'Bool) -> (i :: 'DepthFunction) -> (j :: 'Maybe 'AlphaFunction) -> (k :: 'Bool) -> (l :: 'String) -> a (StageAttrs b c d e f g h i j k l)) -> (m :: 'StageAttrs) -> a m
-match'StageAttrs :: (a :: Type -> Type) -> a 'StageAttrs -> (b :: Type) -> a b -> a b
+'StageAttrsCase :: forall (a :: 'StageAttrs -> Type) -> (forall (b :: 'Maybe ('Blending', 'Blending')) (c :: 'RGBGen) (d :: 'AlphaGen) (e :: 'TCGen) (f :: 'List 'TCMod) (g :: 'StageTexture) (h :: 'Bool) (i :: 'DepthFunction) (j :: 'Maybe 'AlphaFunction) (k :: 'Bool) (l :: 'String) -> a (StageAttrs b c d e f g h i j k l)) -> forall (m :: 'StageAttrs) -> a m
+match'StageAttrs :: forall (a :: Type -> Type) -> a 'StageAttrs -> forall b -> a b -> a b
 saBlend :: 'StageAttrs -> 'Maybe ('Blending', 'Blending')
 saRGBGen :: 'StageAttrs -> 'RGBGen
 saAlphaGen :: 'StageAttrs -> 'AlphaGen
@@ -141,8 +141,8 @@ saTextureUniform :: 'StageAttrs -> 'String
 defaultStageAttrs :: 'StageAttrs
 'CommonAttrs :: Type
 CommonAttrs :: () -> () -> 'Bool -> 'Float -> 'Bool -> 'Bool -> 'CullType -> 'List 'Deform -> 'Bool -> 'Bool -> 'List 'StageAttrs -> 'Bool -> 'CommonAttrs
-'CommonAttrsCase :: (a :: 'CommonAttrs -> Type) -> ((b :: ()) -> (c :: ()) -> (d :: 'Bool) -> (e :: 'Float) -> (f :: 'Bool) -> (g :: 'Bool) -> (h :: 'CullType) -> (i :: 'List 'Deform) -> (j :: 'Bool) -> (k :: 'Bool) -> (l :: 'List 'StageAttrs) -> (m :: 'Bool) -> a (CommonAttrs b c d e f g h i j k l m)) -> (n :: 'CommonAttrs) -> a n
-match'CommonAttrs :: (a :: Type -> Type) -> a 'CommonAttrs -> (b :: Type) -> a b -> a b
+'CommonAttrsCase :: forall (a :: 'CommonAttrs -> Type) -> (forall (b :: ()) (c :: ()) (d :: 'Bool) (e :: 'Float) (f :: 'Bool) (g :: 'Bool) (h :: 'CullType) (i :: 'List 'Deform) (j :: 'Bool) (k :: 'Bool) (l :: 'List 'StageAttrs) (m :: 'Bool) -> a (CommonAttrs b c d e f g h i j k l m)) -> forall (n :: 'CommonAttrs) -> a n
+match'CommonAttrs :: forall (a :: Type -> Type) -> a 'CommonAttrs -> forall b -> a b -> a b
 caSkyParms :: 'CommonAttrs -> ()
 caFogParms :: 'CommonAttrs -> ()
 caPortal :: 'CommonAttrs -> 'Bool
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 23dd4a4a..287c9734 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -25,17 +25,17 @@ snd :: forall a b . (a, b) -> b
 &&& :: 'Bool -> 'Bool -> 'Bool
 'RecItem :: Type
 RecItem :: 'String -> Type -> 'RecItem
-'RecItemCase :: (a :: 'RecItem -> Type) -> ((b :: 'String) -> (c :: Type) -> a (RecItem b c)) -> (d :: 'RecItem) -> a d
-match'RecItem :: (a :: Type -> Type) -> a 'RecItem -> (b :: Type) -> a b -> a b
+'RecItemCase :: forall (a :: 'RecItem -> Type) -> (forall (b :: 'String) c -> a (RecItem b c)) -> forall (d :: 'RecItem) -> a d
+match'RecItem :: forall (a :: Type -> Type) -> a 'RecItem -> forall b -> a b -> a b
 recItemType :: 'RecItem -> Type
 'RecordC :: 'List 'RecItem -> Type
 RecordCons :: forall (a :: 'List 'RecItem) . 'HList (map 'RecItem Type recItemType a) -> 'RecordC a
-'RecordCCase :: forall (a :: 'List 'RecItem) . (b :: 'RecordC a -> Type) -> ((c :: 'HList (map 'RecItem Type recItemType a)) -> b (RecordCons c)) -> (d :: 'RecordC a) -> b d
-match'RecordC :: (a :: Type -> Type) -> ((b :: 'List 'RecItem) -> a ('RecordC b)) -> (c :: Type) -> a c -> a c
+'RecordCCase :: forall (a :: 'List 'RecItem) . forall (b :: 'RecordC a -> Type) -> (forall (c :: 'HList (map 'RecItem Type recItemType a)) -> b (RecordCons c)) -> forall (d :: 'RecordC a) -> b d
+match'RecordC :: forall (a :: Type -> Type) -> (forall (b :: 'List 'RecItem) -> a ('RecordC b)) -> forall c -> a c -> a c
 isKeyC :: 'String -> Type -> 'List 'RecItem -> Type
 fstTup :: forall a (b :: 'List Type) . 'HList (Cons a b) -> a
 sndTup :: forall a (b :: 'List Type) . 'HList (Cons a b) -> 'HList b
-project :: forall a (b :: 'List 'RecItem) . (c :: 'String) -> isKeyC c a b => 'RecordC b -> a
+project :: forall a (b :: 'List 'RecItem) . forall (c :: 'String) -> isKeyC c a b => 'RecordC b -> a
 rgb :: 'Float -> 'Float -> 'Float -> 'VecS 'Float 4
 black :: 'VecS 'Float 4
 gray :: 'VecS 'Float 4
@@ -479,18 +479,18 @@ testdata/Prelude.lc 130:69-130:70  String
 testdata/Prelude.lc 130:71-130:72  Type
 testdata/Prelude.lc 130:73-130:75  List _i
 testdata/Prelude.lc 132:1-132:7  forall a (b :: List Type) . HList ('Cons a b) -> a
-testdata/Prelude.lc 132:10-132:23  forall a (b :: List Type) . (c :: Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+testdata/Prelude.lc 132:10-132:23  forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
 testdata/Prelude.lc 132:10-132:25  (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a
 testdata/Prelude.lc 132:10-132:37  HList ('Cons _b _a) -> _b
 testdata/Prelude.lc 132:27-132:36  _c -> HList _b -> _a
 testdata/Prelude.lc 132:35-132:36  HList _c -> _b | _e
 testdata/Prelude.lc 133:1-133:7  forall a (b :: List Type) . HList ('Cons a b) -> HList b
-testdata/Prelude.lc 133:10-133:23  forall a (b :: List Type) . (c :: Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+testdata/Prelude.lc 133:10-133:23  forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
 testdata/Prelude.lc 133:10-133:25  (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a
 testdata/Prelude.lc 133:10-133:37  HList ('Cons _b _a) -> HList _a
 testdata/Prelude.lc 133:27-133:36  _c -> HList _b -> _a
 testdata/Prelude.lc 133:35-133:36  HList _c -> _b | HList _d
-testdata/Prelude.lc 136:12-138:181  _a -> _a | forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a
+testdata/Prelude.lc 136:12-138:181  _a -> _a | forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a
 testdata/Prelude.lc 136:28-136:37  Type
 testdata/Prelude.lc 136:28-136:97  Type
 testdata/Prelude.lc 136:29-136:36  Type
@@ -509,11 +509,11 @@ testdata/Prelude.lc 136:82-136:92  Type
 testdata/Prelude.lc 136:82-136:97  Type
 testdata/Prelude.lc 136:90-136:92  List RecItem
 testdata/Prelude.lc 136:96-136:97  Type
-testdata/Prelude.lc 137:1-137:8  forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a
+testdata/Prelude.lc 137:1-137:8  forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a
 testdata/Prelude.lc 137:57-137:58  String
 testdata/Prelude.lc 137:57-137:61  String -> Bool
 testdata/Prelude.lc 137:57-137:64  Bool
-testdata/Prelude.lc 137:57-138:181  'isKeyC _a _c _b => RecordC _b -> _c | (a :: String) -> 'isKeyC a _b _a => RecordC _a -> _b | HList ('map RecItem Type 'recItemType _b) -> _a | List _c -> _b | RecordC _c -> _d | String -> Type -> _a | Type -> _b | _b -> List _b -> _a | _e | _g | _j | _m | forall (a :: List RecItem) . (b :: String) -> 'isKeyC b _a a => RecordC a -> _a | forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a
+testdata/Prelude.lc 137:57-138:181  'isKeyC _a _c _b => RecordC _b -> _c | HList ('map RecItem Type 'recItemType _b) -> _a | List _c -> _b | RecordC _c -> _d | String -> Type -> _a | Type -> _b | _b -> List _b -> _a | _e | _g | _j | _m | forall (a :: List RecItem) . forall (b :: String) -> 'isKeyC b _a a => RecordC a -> _a | forall (a :: String) -> 'isKeyC a _b _a => RecordC _a -> _b | forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a
 testdata/Prelude.lc 137:59-137:61  forall a . Eq a => a -> a -> Bool
 testdata/Prelude.lc 137:62-137:64  String
 testdata/Prelude.lc 137:67-137:73  forall a (b :: List Type) . HList ('Cons a b) -> a
@@ -535,9 +535,9 @@ testdata/Prelude.lc 137:105-137:123  List Type
 testdata/Prelude.lc 137:109-137:120  RecItem -> Type
 testdata/Prelude.lc 137:121-137:123  List RecItem
 testdata/Prelude.lc 137:126-137:128  HList ('map RecItem Type 'recItemType _d)
-testdata/Prelude.lc 138:57-138:64  forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a
-testdata/Prelude.lc 138:57-138:67  forall (a :: List RecItem) . (b :: String) -> 'isKeyC b _p a => RecordC a -> _p
-testdata/Prelude.lc 138:57-138:71  (a :: String) -> 'isKeyC a _o _h => RecordC _h -> _o
+testdata/Prelude.lc 138:57-138:64  forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a
+testdata/Prelude.lc 138:57-138:67  forall (a :: List RecItem) . forall (b :: String) -> 'isKeyC b _p a => RecordC a -> _p
+testdata/Prelude.lc 138:57-138:71  forall (a :: String) -> 'isKeyC a _o _h => RecordC _h -> _o
 testdata/Prelude.lc 138:57-138:73  'isKeyC _m _o _h => RecordC _h -> _o
 testdata/Prelude.lc 138:57-138:103  RecordC _h -> _o
 testdata/Prelude.lc 138:57-138:181  _n
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out
index 511e62b1..6099ecf1 100644
--- a/testdata/adhoc.reject.out
+++ b/testdata/adhoc.reject.out
@@ -5,8 +5,8 @@ x = one :: Vec 4 A
 ------------ trace
 'A :: Type
 A :: 'A
-'ACase :: (a :: 'A -> Type) -> a A -> (b :: 'A) -> a b
-match'A :: (a :: Type -> Type) -> a 'A -> (b :: Type) -> a b -> a b
+'ACase :: forall (a :: 'A -> Type) -> a A -> forall (b :: 'A) -> a b
+match'A :: forall (a :: Type -> Type) -> a 'A -> forall b -> a b -> a b
 !type error: no instance of 'Component on ???
 in testdata/adhoc.reject.lc:4:5:
 x = one :: Vec 4 A
diff --git a/testdata/complex.out b/testdata/complex.out
index 43a60b85..99b0a0fd 100644
--- a/testdata/complex.out
+++ b/testdata/complex.out
@@ -3,12 +3,12 @@ main is not found
 'Repr :: Type
 Normal :: 'Repr
 Polar :: 'Repr
-'ReprCase :: (a :: 'Repr -> Type) -> a Normal -> a Polar -> (b :: 'Repr) -> a b
-match'Repr :: (a :: Type -> Type) -> a 'Repr -> (b :: Type) -> a b -> a b
+'ReprCase :: forall (a :: 'Repr -> Type) -> a Normal -> a Polar -> forall (b :: 'Repr) -> a b
+match'Repr :: forall (a :: Type -> Type) -> a 'Repr -> forall b -> a b -> a b
 'Complex :: 'Repr -> Type
 Complex :: forall (a :: 'Repr) . 'Float -> 'Float -> 'Complex a
-'ComplexCase :: (a :: (b :: 'Repr) -> 'Complex b -> Type) -> (forall (c :: 'Repr) . (d :: 'Float) -> (e :: 'Float) -> a c (Complex c d e)) -> forall (f :: 'Repr) . (g :: 'Complex f) -> a f g
-match'Complex :: (a :: Type -> Type) -> ((b :: 'Repr) -> a ('Complex b)) -> (c :: Type) -> a c -> a c
+'ComplexCase :: forall (a :: forall (b :: 'Repr) -> 'Complex b -> Type) -> (forall (c :: 'Repr) . forall (d :: 'Float) (e :: 'Float) -> a c (Complex c d e)) -> forall (f :: 'Repr) . forall (g :: 'Complex f) -> a f g
+match'Complex :: forall (a :: Type -> Type) -> (forall (b :: 'Repr) -> a ('Complex b)) -> forall c -> a c -> a c
 repr :: forall (a :: 'Repr) . 'Complex a -> 'Repr
 normal :: 'Float -> 'Float -> 'Complex Normal
 polar :: 'Float -> 'Float -> 'Complex Polar
diff --git a/testdata/data.out b/testdata/data.out
index ac7874a8..3a093bbe 100644
--- a/testdata/data.out
+++ b/testdata/data.out
@@ -2,27 +2,27 @@ main is not found
 ------------ trace
 'Data0 :: Type
 Data0 :: 'Data0
-'Data0Case :: (a :: 'Data0 -> Type) -> a Data0 -> (b :: 'Data0) -> a b
-match'Data0 :: (a :: Type -> Type) -> a 'Data0 -> (b :: Type) -> a b -> a b
+'Data0Case :: forall (a :: 'Data0 -> Type) -> a Data0 -> forall (b :: 'Data0) -> a b
+match'Data0 :: forall (a :: Type -> Type) -> a 'Data0 -> forall b -> a b -> a b
 'Data1 :: Type -> Type -> Type -> Type
 Data1 :: forall a b c . a -> b -> c -> 'Data1 a b c
-'Data1Case :: forall a b c . (d :: 'Data1 a b c -> Type) -> ((e :: a) -> (f :: b) -> (g :: c) -> d (Data1 e f g)) -> (h :: 'Data1 a b c) -> d h
-match'Data1 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data1 b c d)) -> (e :: Type) -> a e -> a e
+'Data1Case :: forall a b c . forall (d :: 'Data1 a b c -> Type) -> (forall (e :: a) (f :: b) (g :: c) -> d (Data1 e f g)) -> forall (h :: 'Data1 a b c) -> d h
+match'Data1 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data1 b c d)) -> forall e -> a e -> a e
 'Data2 :: Type
 Data21 :: 'Int -> 'Data2
 Data22 :: 'Int -> 'Int -> 'Data2
 Data23 :: 'Int -> 'Data2
 Data24 :: 'Data2
-'Data2Case :: (a :: 'Data2 -> Type) -> ((b :: 'Int) -> a (Data21 b)) -> ((c :: 'Int) -> (d :: 'Int) -> a (Data22 c d)) -> ((e :: 'Int) -> a (Data23 e)) -> a Data24 -> (f :: 'Data2) -> a f
-match'Data2 :: (a :: Type -> Type) -> a 'Data2 -> (b :: Type) -> a b -> a b
+'Data2Case :: forall (a :: 'Data2 -> Type) -> (forall (b :: 'Int) -> a (Data21 b)) -> (forall (c :: 'Int) (d :: 'Int) -> a (Data22 c d)) -> (forall (e :: 'Int) -> a (Data23 e)) -> a Data24 -> forall (f :: 'Data2) -> a f
+match'Data2 :: forall (a :: Type -> Type) -> a 'Data2 -> forall b -> a b -> a b
 x :: 'Data2 -> 'Int
 y :: 'Data2 -> 'Int
 'Data5 :: Type -> Type -> Type -> Type
 Data51 :: forall a b c . a -> 'Data5 a b c
 Data52 :: forall a b c . a -> b -> c -> 'Data5 a b c
 Data53 :: forall a b c . 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c
-'Data5Case :: forall a b c . (d :: 'Data5 a b c -> Type) -> ((e :: a) -> d (Data51 e)) -> ((f :: a) -> (g :: b) -> (h :: c) -> d (Data52 f g h)) -> ((i :: 'Int) -> (j :: a) -> (k :: 'Float) -> (l :: b) -> (m :: c) -> d (Data53 i j k l m)) -> (n :: 'Data5 a b c) -> d n
-match'Data5 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: Type) -> (d :: Type) -> a ('Data5 b c d)) -> (e :: Type) -> a e -> a e
+'Data5Case :: forall a b c . forall (d :: 'Data5 a b c -> Type) -> (forall (e :: a) -> d (Data51 e)) -> (forall (f :: a) (g :: b) (h :: c) -> d (Data52 f g h)) -> (forall (i :: 'Int) (j :: a) (k :: 'Float) (l :: b) (m :: c) -> d (Data53 i j k l m)) -> forall (n :: 'Data5 a b c) -> d n
+match'Data5 :: forall (a :: Type -> Type) -> (forall b c d -> a ('Data5 b c d)) -> forall e -> a e -> a e
 a5 :: forall a b c . 'Data5 a b c -> a
 b5 :: forall a b c . 'Data5 a b c -> b
 c5 :: forall a b c . 'Data5 a b c -> c
diff --git a/testdata/empty.out b/testdata/empty.out
index f1588695..d7443922 100644
--- a/testdata/empty.out
+++ b/testdata/empty.out
@@ -1,7 +1,7 @@
 main is not found
 ------------ trace
 'Empty :: Type
-'EmptyCase :: (a :: 'Empty -> Type) -> (b :: 'Empty) -> a b
-match'Empty :: (a :: Type -> Type) -> a 'Empty -> (b :: Type) -> a b -> a b
+'EmptyCase :: forall (a :: 'Empty -> Type) (b :: 'Empty) -> a b
+match'Empty :: forall (a :: Type -> Type) -> a 'Empty -> forall b -> a b -> a b
 ------------ tooltips
 testdata/empty.lc 3:6-3:11  Type
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 44db093f..6be18ea8 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -8,8 +8,8 @@ in proj
 'Data3 :: Type
 Data3 :: 'Bool -> 'Char -> 'Bool -> 'Data3
 Data31 :: 'Int -> 'String -> 'Int -> 'Data3
-'Data3Case :: (a :: 'Data3 -> Type) -> ((b :: 'Bool) -> (c :: 'Char) -> (d :: 'Bool) -> a (Data3 b c d)) -> ((e :: 'Int) -> (f :: 'String) -> (g :: 'Int) -> a (Data31 e f g)) -> (h :: 'Data3) -> a h
-match'Data3 :: (a :: Type -> Type) -> a 'Data3 -> (b :: Type) -> a b -> a b
+'Data3Case :: forall (a :: 'Data3 -> Type) -> (forall (b :: 'Bool) (c :: 'Char) (d :: 'Bool) -> a (Data3 b c d)) -> (forall (e :: 'Int) (f :: 'String) (g :: 'Int) -> a (Data31 e f g)) -> forall (h :: 'Data3) -> a h
+match'Data3 :: forall (a :: Type -> Type) -> a 'Data3 -> forall b -> a b -> a b
 !type error: can not unify
 'Bool
 with
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index 9d9361c0..8aad9b35 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -2,8 +2,8 @@ illegal data definition (parameters are not uniform)
 ------------ trace
 'M2 :: Type -> 'String -> Type
 Value2 :: forall a . a -> forall (b :: 'String) . 'M2 a b
-'M2Case :: forall a . (b :: (c :: 'String) -> 'M2 a c -> Type) -> ((d :: a) -> forall (e :: 'String) . b e (Value2 d e)) -> forall (f :: 'String) . (g :: 'M2 a f) -> b f g
-match'M2 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M2 b c)) -> (d :: Type) -> a d -> a d
+'M2Case :: forall a . forall (b :: forall (c :: 'String) -> 'M2 a c -> Type) -> (forall (d :: a) -> forall (e :: 'String) . b e (Value2 d e)) -> forall (f :: 'String) . forall (g :: 'M2 a f) -> b f g
+match'M2 :: forall (a :: Type -> Type) -> (forall b (c :: 'String) -> a ('M2 b c)) -> forall d -> a d -> a d
 'M3 :: Type -> 'String -> Type
 !illegal data definition (parameters are not uniform)
 ------------ tooltips
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index fc2b7c30..4efb2a15 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -7,8 +7,8 @@ and at testdata/language-features/adt/gadt04.reject.lc:3:3:
 ------------ trace
 'M :: Type -> 'String -> Type
 Value :: forall a . a -> forall (b :: 'String) . 'M a b
-'MCase :: (a :: (b :: Type) -> (c :: 'String) -> 'M b c -> Type) -> (forall d . (e :: d) -> forall (f :: 'String) . a d f (Value d e f)) -> forall g (h :: 'String) . (i :: 'M g h) -> a g h i
-match'M :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M b c)) -> (d :: Type) -> a d -> a d
+'MCase :: forall (a :: forall b (c :: 'String) -> 'M b c -> Type) -> (forall d . forall (e :: d) -> forall (f :: 'String) . a d f (Value d e f)) -> forall g (h :: 'String) . forall (i :: 'M g h) -> a g h i
+match'M :: forall (a :: Type -> Type) -> (forall b (c :: 'String) -> a ('M b c)) -> forall d -> a d -> a d
 'M2 :: Type -> 'String -> Type
 Value :: forall a . a -> forall (b :: 'String) . 'M2 a b
 !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index affad824..b429a33b 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -4,20 +4,20 @@ main is not found
 B :: 'A
 C :: 'A
 D :: 'A
-'ACase :: (a :: 'A -> Type) -> a B -> a C -> a D -> (b :: 'A) -> a b
-match'A :: (a :: Type -> Type) -> a 'A -> (b :: Type) -> a b -> a b
+'ACase :: forall (a :: 'A -> Type) -> a B -> a C -> a D -> forall (b :: 'A) -> a b
+match'A :: forall (a :: Type -> Type) -> a 'A -> forall b -> a b -> a b
 'E :: Type
 F :: 'E
 G :: () -> 'E
 H :: 'E
-'ECase :: (a :: 'E -> Type) -> a F -> ((b :: ()) -> a (G b)) -> a H -> (c :: 'E) -> a c
-match'E :: (a :: Type -> Type) -> a 'E -> (b :: Type) -> a b -> a b
+'ECase :: forall (a :: 'E -> Type) -> a F -> (forall (b :: ()) -> a (G b)) -> a H -> forall (c :: 'E) -> a c
+match'E :: forall (a :: Type -> Type) -> a 'E -> forall b -> a b -> a b
 'D1 :: Type
 C1 :: 'D1
 C2 :: () -> 'D1
 C3 :: 'D1
-'D1Case :: (a :: 'D1 -> Type) -> a C1 -> ((b :: ()) -> a (C2 b)) -> a C3 -> (c :: 'D1) -> a c
-match'D1 :: (a :: Type -> Type) -> a 'D1 -> (b :: Type) -> a b -> a b
+'D1Case :: forall (a :: 'D1 -> Type) -> a C1 -> (forall (b :: ()) -> a (C2 b)) -> a C3 -> forall (c :: 'D1) -> a c
+match'D1 :: forall (a :: Type -> Type) -> a 'D1 -> forall b -> a b -> a b
 ------------ tooltips
 testdata/language-features/basic-values/data01.lc 1:6-1:7  Type
 testdata/language-features/basic-values/data01.lc 1:6-1:13  Type
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index dcab8247..3420e35e 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -3,8 +3,8 @@ main is not found
 'D :: Type
 D2 :: () -> () -> 'D
 D3 :: () -> () -> () -> 'D
-'DCase :: (a :: 'D -> Type) -> ((b :: ()) -> (c :: ()) -> a (D2 b c)) -> ((d :: ()) -> (e :: ()) -> (f :: ()) -> a (D3 d e f)) -> (g :: 'D) -> a g
-match'D :: (a :: Type -> Type) -> a 'D -> (b :: Type) -> a b -> a b
+'DCase :: forall (a :: 'D -> Type) -> (forall (b :: ()) (c :: ()) -> a (D2 b c)) -> (forall (d :: ()) (e :: ()) (f :: ()) -> a (D3 d e f)) -> forall (g :: 'D) -> a g
+match'D :: forall (a :: Type -> Type) -> a 'D -> forall b -> a b -> a b
 d2 :: () -> () -> 'D
 d3 :: () -> () -> () -> 'D
 ------------ tooltips
diff --git a/testdata/performance/Material.out b/testdata/performance/Material.out
index d35f582a..958efb6f 100644
--- a/testdata/performance/Material.out
+++ b/testdata/performance/Material.out
@@ -3,8 +3,8 @@ main is not found
 identityLight :: 'Float
 'Entity :: Type
 Entity :: 'Vec 4 'Float -> 'Vec 4 'Float -> 'Vec 3 'Float -> 'Vec 4 'Float -> 'Entity
-'EntityCase :: (a :: 'Entity -> Type) -> ((b :: 'Vec 4 'Float) -> (c :: 'Vec 4 'Float) -> (d :: 'Vec 3 'Float) -> (e :: 'Vec 4 'Float) -> a (Entity b c d e)) -> (f :: 'Entity) -> a f
-match'Entity :: (a :: Type -> Type) -> a 'Entity -> (b :: Type) -> a b -> a b
+'EntityCase :: forall (a :: 'Entity -> Type) -> (forall (b :: 'Vec 4 'Float) (c :: 'Vec 4 'Float) (d :: 'Vec 3 'Float) (e :: 'Vec 4 'Float) -> a (Entity b c d e)) -> forall (f :: 'Entity) -> a f
+match'Entity :: forall (a :: Type -> Type) -> a 'Entity -> forall b -> a b -> a b
 eAmbientLight :: 'Entity -> 'VecS 'Float 4
 eDirectedLight :: 'Entity -> 'VecS 'Float 4
 eLightDir :: 'Entity -> 'VecS 'Float 3
@@ -16,12 +16,12 @@ WT_Square :: 'WaveType
 WT_Sawtooth :: 'WaveType
 WT_InverseSawtooth :: 'WaveType
 WT_Noise :: 'WaveType
-'WaveTypeCase :: (a :: 'WaveType -> Type) -> a WT_Sin -> a WT_Triangle -> a WT_Square -> a WT_Sawtooth -> a WT_InverseSawtooth -> a WT_Noise -> (b :: 'WaveType) -> a b
-match'WaveType :: (a :: Type -> Type) -> a 'WaveType -> (b :: Type) -> a b -> a b
+'WaveTypeCase :: forall (a :: 'WaveType -> Type) -> a WT_Sin -> a WT_Triangle -> a WT_Square -> a WT_Sawtooth -> a WT_InverseSawtooth -> a WT_Noise -> forall (b :: 'WaveType) -> a b
+match'WaveType :: forall (a :: Type -> Type) -> a 'WaveType -> forall b -> a b -> a b
 'Wave :: Type
 Wave :: 'WaveType -> 'Float -> 'Float -> 'Float -> 'Float -> 'Wave
-'WaveCase :: (a :: 'Wave -> Type) -> ((b :: 'WaveType) -> (c :: 'Float) -> (d :: 'Float) -> (e :: 'Float) -> (f :: 'Float) -> a (Wave b c d e f)) -> (g :: 'Wave) -> a g
-match'Wave :: (a :: Type -> Type) -> a 'Wave -> (b :: Type) -> a b -> a b
+'WaveCase :: forall (a :: 'Wave -> Type) -> (forall (b :: 'WaveType) (c :: 'Float) (d :: 'Float) (e :: 'Float) (f :: 'Float) -> a (Wave b c d e f)) -> forall (g :: 'Wave) -> a g
+match'Wave :: forall (a :: Type -> Type) -> a 'Wave -> forall b -> a b -> a b
 'Deform :: Type
 D_AutoSprite :: 'Deform
 D_AutoSprite2 :: 'Deform
@@ -38,14 +38,14 @@ D_Text5 :: 'Deform
 D_Text6 :: 'Deform
 D_Text7 :: 'Deform
 D_Wave :: 'Float -> 'Wave -> 'Deform
-'DeformCase :: (a :: 'Deform -> Type) -> a D_AutoSprite -> a D_AutoSprite2 -> ((b :: 'Float) -> (c :: 'Float) -> (d :: 'Float) -> a (D_Bulge b c d)) -> ((e :: 'Vec 3 'Float) -> (f :: 'Wave) -> a (D_Move e f)) -> ((g :: 'Float) -> (h :: 'Float) -> a (D_Normal g h)) -> a D_ProjectionShadow -> a D_Text0 -> a D_Text1 -> a D_Text2 -> a D_Text3 -> a D_Text4 -> a D_Text5 -> a D_Text6 -> a D_Text7 -> ((i :: 'Float) -> (j :: 'Wave) -> a (D_Wave i j)) -> (k :: 'Deform) -> a k
-match'Deform :: (a :: Type -> Type) -> a 'Deform -> (b :: Type) -> a b -> a b
+'DeformCase :: forall (a :: 'Deform -> Type) -> a D_AutoSprite -> a D_AutoSprite2 -> (forall (b :: 'Float) (c :: 'Float) (d :: 'Float) -> a (D_Bulge b c d)) -> (forall (e :: 'Vec 3 'Float) (f :: 'Wave) -> a (D_Move e f)) -> (forall (g :: 'Float) (h :: 'Float) -> a (D_Normal g h)) -> a D_ProjectionShadow -> a D_Text0 -> a D_Text1 -> a D_Text2 -> a D_Text3 -> a D_Text4 -> a D_Text5 -> a D_Text6 -> a D_Text7 -> (forall (i :: 'Float) (j :: 'Wave) -> a (D_Wave i j)) -> forall (k :: 'Deform) -> a k
+match'Deform :: forall (a :: Type -> Type) -> a 'Deform -> forall b -> a b -> a b
 'CullType :: Type
 CT_FrontSided :: 'CullType
 CT_BackSided :: 'CullType
 CT_TwoSided :: 'CullType
-'CullTypeCase :: (a :: 'CullType -> Type) -> a CT_FrontSided -> a CT_BackSided -> a CT_TwoSided -> (b :: 'CullType) -> a b
-match'CullType :: (a :: Type -> Type) -> a 'CullType -> (b :: Type) -> a b -> a b
+'CullTypeCase :: forall (a :: 'CullType -> Type) -> a CT_FrontSided -> a CT_BackSided -> a CT_TwoSided -> forall (b :: 'CullType) -> a b
+match'CullType :: forall (a :: Type -> Type) -> a 'CullType -> forall b -> a b -> a b
 'Blending' :: Type
 B_DstAlpha :: 'Blending'
 B_DstColor :: 'Blending'
@@ -58,8 +58,8 @@ B_SrcAlpha :: 'Blending'
 B_SrcAlphaSaturate :: 'Blending'
 B_SrcColor :: 'Blending'
 B_Zero :: 'Blending'
-'Blending'Case :: (a :: 'Blending' -> Type) -> a B_DstAlpha -> a B_DstColor -> a B_One -> a B_OneMinusDstAlpha -> a B_OneMinusDstColor -> a B_OneMinusSrcAlpha -> a B_OneMinusSrcColor -> a B_SrcAlpha -> a B_SrcAlphaSaturate -> a B_SrcColor -> a B_Zero -> (b :: 'Blending') -> a b
-match'Blending' :: (a :: Type -> Type) -> a 'Blending' -> (b :: Type) -> a b -> a b
+'Blending'Case :: forall (a :: 'Blending' -> Type) -> a B_DstAlpha -> a B_DstColor -> a B_One -> a B_OneMinusDstAlpha -> a B_OneMinusDstColor -> a B_OneMinusSrcAlpha -> a B_OneMinusSrcColor -> a B_SrcAlpha -> a B_SrcAlphaSaturate -> a B_SrcColor -> a B_Zero -> forall (b :: 'Blending') -> a b
+match'Blending' :: forall (a :: Type -> Type) -> a 'Blending' -> forall b -> a b -> a b
 'RGBGen :: Type
 RGB_Wave :: 'Wave -> 'RGBGen
 RGB_Const :: 'Float -> 'Float -> 'Float -> 'RGBGen
@@ -72,8 +72,8 @@ RGB_Vertex :: 'RGBGen
 RGB_LightingDiffuse :: 'RGBGen
 RGB_OneMinusVertex :: 'RGBGen
 RGB_Undefined :: 'RGBGen
-'RGBGenCase :: (a :: 'RGBGen -> Type) -> ((b :: 'Wave) -> a (RGB_Wave b)) -> ((c :: 'Float) -> (d :: 'Float) -> (e :: 'Float) -> a (RGB_Const c d e)) -> a RGB_Identity -> a RGB_IdentityLighting -> a RGB_Entity -> a RGB_OneMinusEntity -> a RGB_ExactVertex -> a RGB_Vertex -> a RGB_LightingDiffuse -> a RGB_OneMinusVertex -> a RGB_Undefined -> (f :: 'RGBGen) -> a f
-match'RGBGen :: (a :: Type -> Type) -> a 'RGBGen -> (b :: Type) -> a b -> a b
+'RGBGenCase :: forall (a :: 'RGBGen -> Type) -> (forall (b :: 'Wave) -> a (RGB_Wave b)) -> (forall (c :: 'Float) (d :: 'Float) (e :: 'Float) -> a (RGB_Const c d e)) -> a RGB_Identity -> a RGB_IdentityLighting -> a RGB_Entity -> a RGB_OneMinusEntity -> a RGB_ExactVertex -> a RGB_Vertex -> a RGB_LightingDiffuse -> a RGB_OneMinusVertex -> a RGB_Undefined -> forall (f :: 'RGBGen) -> a f
+match'RGBGen :: forall (a :: Type -> Type) -> a 'RGBGen -> forall b -> a b -> a b
 'AlphaGen :: Type
 A_Wave :: 'Wave -> 'AlphaGen
 A_Const :: 'Float -> 'AlphaGen
@@ -84,16 +84,16 @@ A_OneMinusEntity :: 'AlphaGen
 A_Vertex :: 'AlphaGen
 A_LightingSpecular :: 'AlphaGen
 A_OneMinusVertex :: 'AlphaGen
-'AlphaGenCase :: (a :: 'AlphaGen -> Type) -> ((b :: 'Wave) -> a (A_Wave b)) -> ((c :: 'Float) -> a (A_Const c)) -> a A_Portal -> a A_Identity -> a A_Entity -> a A_OneMinusEntity -> a A_Vertex -> a A_LightingSpecular -> a A_OneMinusVertex -> (d :: 'AlphaGen) -> a d
-match'AlphaGen :: (a :: Type -> Type) -> a 'AlphaGen -> (b :: Type) -> a b -> a b
+'AlphaGenCase :: forall (a :: 'AlphaGen -> Type) -> (forall (b :: 'Wave) -> a (A_Wave b)) -> (forall (c :: 'Float) -> a (A_Const c)) -> a A_Portal -> a A_Identity -> a A_Entity -> a A_OneMinusEntity -> a A_Vertex -> a A_LightingSpecular -> a A_OneMinusVertex -> forall (d :: 'AlphaGen) -> a d
+match'AlphaGen :: forall (a :: Type -> Type) -> a 'AlphaGen -> forall b -> a b -> a b
 'TCGen :: Type
 TG_Base :: 'TCGen
 TG_Lightmap :: 'TCGen
 TG_Environment :: 'TCGen
 TG_Vector :: 'Vec 3 'Float -> 'Vec 3 'Float -> 'TCGen
 TG_Undefined :: 'TCGen
-'TCGenCase :: (a :: 'TCGen -> Type) -> a TG_Base -> a TG_Lightmap -> a TG_Environment -> ((b :: 'Vec 3 'Float) -> (c :: 'Vec 3 'Float) -> a (TG_Vector b c)) -> a TG_Undefined -> (d :: 'TCGen) -> a d
-match'TCGen :: (a :: Type -> Type) -> a 'TCGen -> (b :: Type) -> a b -> a b
+'TCGenCase :: forall (a :: 'TCGen -> Type) -> a TG_Base -> a TG_Lightmap -> a TG_Environment -> (forall (b :: 'Vec 3 'Float) (c :: 'Vec 3 'Float) -> a (TG_Vector b c)) -> a TG_Undefined -> forall (d :: 'TCGen) -> a d
+match'TCGen :: forall (a :: Type -> Type) -> a 'TCGen -> forall b -> a b -> a b
 'TCMod :: Type
 TM_EntityTranslate :: 'TCMod
 TM_Rotate :: 'Float -> 'TCMod
@@ -102,31 +102,31 @@ TM_Scale :: 'Float -> 'Float -> 'TCMod
 TM_Stretch :: 'Wave -> 'TCMod
 TM_Transform :: 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
 TM_Turb :: 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
-'TCModCase :: (a :: 'TCMod -> Type) -> a TM_EntityTranslate -> ((b :: 'Float) -> a (TM_Rotate b)) -> ((c :: 'Float) -> (d :: 'Float) -> a (TM_Scroll c d)) -> ((e :: 'Float) -> (f :: 'Float) -> a (TM_Scale e f)) -> ((g :: 'Wave) -> a (TM_Stretch g)) -> ((h :: 'Float) -> (i :: 'Float) -> (j :: 'Float) -> (k :: 'Float) -> (l :: 'Float) -> (m :: 'Float) -> a (TM_Transform h i j k l m)) -> ((n :: 'Float) -> (o :: 'Float) -> (p :: 'Float) -> (q :: 'Float) -> a (TM_Turb n o p q)) -> (r :: 'TCMod) -> a r
-match'TCMod :: (a :: Type -> Type) -> a 'TCMod -> (b :: Type) -> a b -> a b
+'TCModCase :: forall (a :: 'TCMod -> Type) -> a TM_EntityTranslate -> (forall (b :: 'Float) -> a (TM_Rotate b)) -> (forall (c :: 'Float) (d :: 'Float) -> a (TM_Scroll c d)) -> (forall (e :: 'Float) (f :: 'Float) -> a (TM_Scale e f)) -> (forall (g :: 'Wave) -> a (TM_Stretch g)) -> (forall (h :: 'Float) (i :: 'Float) (j :: 'Float) (k :: 'Float) (l :: 'Float) (m :: 'Float) -> a (TM_Transform h i j k l m)) -> (forall (n :: 'Float) (o :: 'Float) (p :: 'Float) (q :: 'Float) -> a (TM_Turb n o p q)) -> forall (r :: 'TCMod) -> a r
+match'TCMod :: forall (a :: Type -> Type) -> a 'TCMod -> forall b -> a b -> a b
 'StageTexture :: Type
 ST_Map :: 'String -> 'StageTexture
 ST_ClampMap :: 'String -> 'StageTexture
 ST_AnimMap :: 'Float -> 'List 'String -> 'StageTexture
 ST_Lightmap :: 'StageTexture
 ST_WhiteImage :: 'StageTexture
-'StageTextureCase :: (a :: 'StageTexture -> Type) -> ((b :: 'String) -> a (ST_Map b)) -> ((c :: 'String) -> a (ST_ClampMap c)) -> ((d :: 'Float) -> (e :: 'List 'String) -> a (ST_AnimMap d e)) -> a ST_Lightmap -> a ST_WhiteImage -> (f :: 'StageTexture) -> a f
-match'StageTexture :: (a :: Type -> Type) -> a 'StageTexture -> (b :: Type) -> a b -> a b
+'StageTextureCase :: forall (a :: 'StageTexture -> Type) -> (forall (b :: 'String) -> a (ST_Map b)) -> (forall (c :: 'String) -> a (ST_ClampMap c)) -> (forall (d :: 'Float) (e :: 'List 'String) -> a (ST_AnimMap d e)) -> a ST_Lightmap -> a ST_WhiteImage -> forall (f :: 'StageTexture) -> a f
+match'StageTexture :: forall (a :: Type -> Type) -> a 'StageTexture -> forall b -> a b -> a b
 'AlphaFunction :: Type
 A_Gt0 :: 'AlphaFunction
 A_Lt128 :: 'AlphaFunction
 A_Ge128 :: 'AlphaFunction
-'AlphaFunctionCase :: (a :: 'AlphaFunction -> Type) -> a A_Gt0 -> a A_Lt128 -> a A_Ge128 -> (b :: 'AlphaFunction) -> a b
-match'AlphaFunction :: (a :: Type -> Type) -> a 'AlphaFunction -> (b :: Type) -> a b -> a b
+'AlphaFunctionCase :: forall (a :: 'AlphaFunction -> Type) -> a A_Gt0 -> a A_Lt128 -> a A_Ge128 -> forall (b :: 'AlphaFunction) -> a b
+match'AlphaFunction :: forall (a :: Type -> Type) -> a 'AlphaFunction -> forall b -> a b -> a b
 'DepthFunction :: Type
 D_Equal :: 'DepthFunction
 D_Lequal :: 'DepthFunction
-'DepthFunctionCase :: (a :: 'DepthFunction -> Type) -> a D_Equal -> a D_Lequal -> (b :: 'DepthFunction) -> a b
-match'DepthFunction :: (a :: Type -> Type) -> a 'DepthFunction -> (b :: Type) -> a b -> a b
+'DepthFunctionCase :: forall (a :: 'DepthFunction -> Type) -> a D_Equal -> a D_Lequal -> forall (b :: 'DepthFunction) -> a b
+match'DepthFunction :: forall (a :: Type -> Type) -> a 'DepthFunction -> forall b -> a b -> a b
 'StageAttrs :: Type
 StageAttrs :: 'Maybe ('Blending', 'Blending') -> 'RGBGen -> 'AlphaGen -> 'TCGen -> 'List 'TCMod -> 'StageTexture -> 'Bool -> 'DepthFunction -> 'Maybe 'AlphaFunction -> 'Bool -> 'String -> 'StageAttrs
-'StageAttrsCase :: (a :: 'StageAttrs -> Type) -> ((b :: 'Maybe ('Blending', 'Blending')) -> (c :: 'RGBGen) -> (d :: 'AlphaGen) -> (e :: 'TCGen) -> (f :: 'List 'TCMod) -> (g :: 'StageTexture) -> (h :: 'Bool) -> (i :: 'DepthFunction) -> (j :: 'Maybe 'AlphaFunction) -> (k :: 'Bool) -> (l :: 'String) -> a (StageAttrs b c d e f g h i j k l)) -> (m :: 'StageAttrs) -> a m
-match'StageAttrs :: (a :: Type -> Type) -> a 'StageAttrs -> (b :: Type) -> a b -> a b
+'StageAttrsCase :: forall (a :: 'StageAttrs -> Type) -> (forall (b :: 'Maybe ('Blending', 'Blending')) (c :: 'RGBGen) (d :: 'AlphaGen) (e :: 'TCGen) (f :: 'List 'TCMod) (g :: 'StageTexture) (h :: 'Bool) (i :: 'DepthFunction) (j :: 'Maybe 'AlphaFunction) (k :: 'Bool) (l :: 'String) -> a (StageAttrs b c d e f g h i j k l)) -> forall (m :: 'StageAttrs) -> a m
+match'StageAttrs :: forall (a :: Type -> Type) -> a 'StageAttrs -> forall b -> a b -> a b
 saBlend :: 'StageAttrs -> 'Maybe ('Blending', 'Blending')
 saRGBGen :: 'StageAttrs -> 'RGBGen
 saAlphaGen :: 'StageAttrs -> 'AlphaGen
@@ -141,8 +141,8 @@ saTextureUniform :: 'StageAttrs -> 'String
 defaultStageAttrs :: 'StageAttrs
 'CommonAttrs :: Type
 CommonAttrs :: () -> () -> 'Bool -> 'Float -> 'Bool -> 'Bool -> 'CullType -> 'List 'Deform -> 'Bool -> 'Bool -> 'List 'StageAttrs -> 'Bool -> 'CommonAttrs
-'CommonAttrsCase :: (a :: 'CommonAttrs -> Type) -> ((b :: ()) -> (c :: ()) -> (d :: 'Bool) -> (e :: 'Float) -> (f :: 'Bool) -> (g :: 'Bool) -> (h :: 'CullType) -> (i :: 'List 'Deform) -> (j :: 'Bool) -> (k :: 'Bool) -> (l :: 'List 'StageAttrs) -> (m :: 'Bool) -> a (CommonAttrs b c d e f g h i j k l m)) -> (n :: 'CommonAttrs) -> a n
-match'CommonAttrs :: (a :: Type -> Type) -> a 'CommonAttrs -> (b :: Type) -> a b -> a b
+'CommonAttrsCase :: forall (a :: 'CommonAttrs -> Type) -> (forall (b :: ()) (c :: ()) (d :: 'Bool) (e :: 'Float) (f :: 'Bool) (g :: 'Bool) (h :: 'CullType) (i :: 'List 'Deform) (j :: 'Bool) (k :: 'Bool) (l :: 'List 'StageAttrs) (m :: 'Bool) -> a (CommonAttrs b c d e f g h i j k l m)) -> forall (n :: 'CommonAttrs) -> a n
+match'CommonAttrs :: forall (a :: Type -> Type) -> a 'CommonAttrs -> forall b -> a b -> a b
 caSkyParms :: 'CommonAttrs -> ()
 caFogParms :: 'CommonAttrs -> ()
 caPortal :: 'CommonAttrs -> 'Bool
diff --git a/testdata/traceTest.out b/testdata/traceTest.out
index 4d11599e..93ec5169 100644
--- a/testdata/traceTest.out
+++ b/testdata/traceTest.out
@@ -2,9 +2,9 @@ main is not found
 ------------ trace
 id :: forall a . a -> a
 'X :: forall a . a -> Type
-'XCase :: forall a (b :: a) . (c :: 'X a b -> Type) -> (d :: 'X a b) -> c d
-match'X :: (a :: Type -> Type) -> (forall b . (c :: b) -> a ('X b c)) -> (d :: Type) -> a d -> a d
-x :: 'X (Type -> Type -> Type) (\(a :: Type) (b :: Type) -> (a, b))
+'XCase :: forall a (b :: a) . forall (c :: 'X a b -> Type) (d :: 'X a b) -> c d
+match'X :: forall (a :: Type -> Type) -> (forall b . forall (c :: b) -> a ('X b c)) -> forall d -> a d -> a d
+x :: 'X (Type -> Type -> Type) (\a b -> (a, b))
 ------------ tooltips
 testdata/traceTest.lc 6:1-6:3  forall a . a -> a
 testdata/traceTest.lc 6:8-6:9  _b
@@ -17,5 +17,5 @@ testdata/traceTest.lc 10:17-10:24  Type
 testdata/traceTest.lc 10:19-10:20  _e
 testdata/traceTest.lc 10:19-10:23  List Type
 testdata/traceTest.lc 10:22-10:23  List Type | _c
-testdata/traceTest.lc 11:1-11:2  X (Type -> Type -> Type) (\(a :: Type) (b :: Type) -> (a, b))
+testdata/traceTest.lc 11:1-11:2  X (Type -> Type -> Type) (\a b -> (a, b))
 testdata/traceTest.lc 11:5-11:14  forall a . a
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index cc45ae6e..e3dc50d4 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,11 +1,11 @@
-focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
+focus checkMetas: \a -> (\b -> primFix a b) (\(a := Type) -> \c -> <<HERE>>)
 \(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
 ------------ trace
 'X :: Type
 X :: 'X
-'XCase :: (a :: 'X -> Type) -> a X -> (b :: 'X) -> a b
-match'X :: (a :: Type -> Type) -> a 'X -> (b :: Type) -> a b -> a b
-!focus checkMetas: \a -> (\(b :: Type) -> primFix a b) (\(a := Type) -> \(c :: Type) -> <<HERE>>)
+'XCase :: forall (a :: 'X -> Type) -> a X -> forall (b :: 'X) -> a b
+match'X :: forall (a :: Type -> Type) -> a 'X -> forall b -> a b -> a b
+!focus checkMetas: \a -> (\b -> primFix a b) (\(a := Type) -> \c -> <<HERE>>)
 \(d :: Type ~ _a) (e :: _a ~ 'X) -> typeAnn _a (labend X)
 ------------ tooltips
 testdata/typesig.reject.lc 4:6-4:7  Type
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out
index a1052bcd..53748e22 100644
--- a/testdata/typesigctx.reject.out
+++ b/testdata/typesigctx.reject.out
@@ -3,8 +3,8 @@ in Wildcard2 builtin 'Type
 ------------ trace
 'X :: Type
 X :: 'X
-'XCase :: (a :: 'X -> Type) -> a X -> (b :: 'X) -> a b
-match'X :: (a :: Type -> Type) -> a 'X -> (b :: Type) -> a b -> a b
+'XCase :: forall (a :: 'X -> Type) -> a X -> forall (b :: 'X) -> a b
+match'X :: forall (a :: Type -> Type) -> a 'X -> forall b -> a b -> a b
 'Show' :: Type -> Type
 show' :: forall a . 'Show' a => a -> 'X
 !type error: no instance of 'Show' on ???