fix pretty print syntax

1 files changed, 91 insertions, 91 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