fix pretty print syntax

1 files changed, 35 insertions, 35 deletions

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