improve pretty print layout & show desugared source code in .out files

1 files changed, 1596 insertions, 155 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index cf554d40..e36156db 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1,3 +1,1018 @@
+------------ desugared source code
+id = \(a :: _) -> _rhs a
+data VecS (_ :: Type) :: Nat -> Type where
+    V2 :: _a -> _a -> VecS _a (fromInt 2)
+    V3 :: _a -> _a -> _a -> VecS _a (fromInt 3)
+    V4 :: _a -> _a -> _a -> _a -> VecS _a (fromInt 4)
+mapVec
+  = (\(a :: _) (b :: _) -> 'VecSCase
+      \_ -> \_ -> _ :: _
+      \(c :: _) (d :: _) -> _rhs (V2 (a c) (a d))
+      \(e :: _) (f :: _) (g :: _) -> _rhs (V3 (a e) (a f) (a g))
+      \(h :: _) (i :: _) (j :: _) (k :: _) -> _rhs (V4 (a h) (a i) (a j) (a k))
+      b)
+    :: forall (l :: _) (m :: _) (n :: _) . (l -> m) -> VecS l n -> VecS m n
+'Vec = (\(a :: _) (b :: _) -> _rhs ('VecS b a)) :: Nat -> Type -> Type
+'VecScalar
+  = (\(a :: _) (b :: _) -> 'NatCase
+      \_ -> _ :: _
+      undefined
+      \(c :: _) -> 'NatCase
+        \_ -> _ :: _
+        (_rhs b)
+        \(d :: _) -> _rhs ('Vec (Succ (Succ d)) b)
+        c
+      a)
+    :: Nat -> Type -> Type
+data Mat :: Nat -> Nat -> Type -> Type where
+    M22F
+      :: Vec (fromInt 2) Float
+        -> Vec (fromInt 2) Float -> Mat (fromInt 2) (fromInt 2) Float
+    M32F
+      :: Vec (fromInt 3) Float
+        -> Vec (fromInt 3) Float -> Mat (fromInt 3) (fromInt 2) Float
+    M42F
+      :: Vec (fromInt 4) Float
+        -> Vec (fromInt 4) Float -> Mat (fromInt 4) (fromInt 2) Float
+    M23F
+      :: Vec (fromInt 2) Float
+        -> Vec (fromInt 2) Float
+          -> Vec (fromInt 2) Float -> Mat (fromInt 2) (fromInt 3) Float
+    M33F
+      :: Vec (fromInt 3) Float
+        -> Vec (fromInt 3) Float
+          -> Vec (fromInt 3) Float -> Mat (fromInt 3) (fromInt 3) Float
+    M43F
+      :: Vec (fromInt 4) Float
+        -> Vec (fromInt 4) Float
+          -> Vec (fromInt 4) Float -> Mat (fromInt 4) (fromInt 3) Float
+    M24F
+      :: Vec (fromInt 2) Float
+        -> Vec (fromInt 2) Float
+          -> Vec (fromInt 2) Float
+            -> Vec (fromInt 2) Float -> Mat (fromInt 2) (fromInt 4) Float
+    M34F
+      :: Vec (fromInt 3) Float
+        -> Vec (fromInt 3) Float
+          -> Vec (fromInt 3) Float
+            -> Vec (fromInt 3) Float -> Mat (fromInt 3) (fromInt 4) Float
+    M44F
+      :: Vec (fromInt 4) Float
+        -> Vec (fromInt 4) Float
+          -> Vec (fromInt 4) Float
+            -> Vec (fromInt 4) Float -> Mat (fromInt 4) (fromInt 4) Float
+'MatVecScalarElem
+  = (\(a :: _) -> match'Float
+      \_ -> _
+      (_rhs 'Float)
+      a
+      (match'Bool
+        \_ -> _
+        (_rhs 'Bool)
+        a
+        (match'Int
+          \_ -> _
+          (_rhs 'Int)
+          a
+          (match'VecS
+            \_ -> _
+            \(b :: _) -> \_ -> _rhs b
+            a
+            (match'Mat \_ -> _ \_ -> \_ (c :: _) -> _rhs c a undefined)))))
+    :: Type -> Type
+'Signed
+  = (\(a :: _) -> match'Int
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'Float
+        \_ -> _
+        (_rhs 'Unit)
+        a
+        (_rhs ('Empty "no instance of 'Signed on ???"))))
+    :: Type -> Type
+'Component
+  = (\(a :: _) -> match'Int
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs 'Unit)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs 'Unit)
+          a
+          (match'VecS
+            \_ -> _
+            \(b :: _) (c :: _) -> match'Float
+              \_ -> _
+              ('NatCase
+                \_ -> _ :: _
+                (_rhs ('Empty "no instance of 'Component on ???"))
+                \(d :: _) -> 'NatCase
+                  \_ -> _ :: _
+                  (_rhs ('Empty "no instance of 'Component on ???"))
+                  \(e :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs 'Unit)
+                    \(f :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs 'Unit)
+                      \(g :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs 'Unit)
+                        \_ -> _rhs ('Empty "no instance of 'Component on ???")
+                        g
+                      f
+                    e
+                  d
+                c)
+              b
+              (match'Bool
+                \_ -> _
+                ('NatCase
+                  \_ -> _ :: _
+                  (_rhs ('Empty "no instance of 'Component on ???"))
+                  \(h :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs ('Empty "no instance of 'Component on ???"))
+                    \(i :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs 'Unit)
+                      \(j :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs 'Unit)
+                        \(k :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (_rhs 'Unit)
+                          \_ -> _rhs ('Empty "no instance of 'Component on ???")
+                          k
+                        j
+                      i
+                    h
+                  c)
+                b
+                (_rhs ('Empty "no instance of 'Component on ???")))
+            a
+            (match'Bool
+              \_ -> _
+              (_rhs 'Unit)
+              a
+              (_rhs ('Empty "no instance of 'Component on ???")))))))
+    :: Type -> Type
+zero
+  = (\ @a -> \ @_ -> match'Int
+      \_ -> _
+      (_rhs \(b := _rhs (fromInt 0 :: Int)) -> b)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs \(c := _rhs (fromInt 0 :: Word)) -> c)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs \(d := _rhs 0.0) -> d)
+          a
+          (match'VecS
+            \_ -> _
+            \(e :: _) (f :: _) -> match'Float
+              \_ -> _
+              ('NatCase
+                \_ -> _ :: _
+                (_rhs undefined)
+                \(g :: _) -> 'NatCase
+                  \_ -> _ :: _
+                  (_rhs undefined)
+                  \(h :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs \(i := _rhs (V2 0.0 0.0)) -> i)
+                    \(j :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs \(k := _rhs (V3 0.0 0.0 0.0)) -> k)
+                      \(l :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs \(m := _rhs (V4 0.0 0.0 0.0 0.0)) -> m)
+                        \_ -> _rhs undefined
+                        l
+                      j
+                    h
+                  g
+                f)
+              e
+              (match'Bool
+                \_ -> _
+                ('NatCase
+                  \_ -> _ :: _
+                  (_rhs undefined)
+                  \(n :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs undefined)
+                    \(o :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs \(p := _rhs (V2 False False)) -> p)
+                      \(q :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs \(r := _rhs (V3 False False False)) -> r)
+                        \(s :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (_rhs \(t := _rhs (V4 False False False False)) -> t)
+                          \_ -> _rhs undefined
+                          s
+                        q
+                      o
+                    n
+                  f)
+                e
+                (_rhs undefined))
+            a
+            (match'Bool \_ -> _ (_rhs \(u := _rhs False) -> u) a (_rhs undefined))))))
+    :: forall v . Component v => v
+one
+  = (\ @a -> \ @_ -> match'Int
+      \_ -> _
+      (_rhs \(b := _rhs (fromInt 1 :: Int)) -> b)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs \(c := _rhs (fromInt 1 :: Word)) -> c)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs \(d := _rhs 1.0) -> d)
+          a
+          (match'VecS
+            \_ -> _
+            \(e :: _) (f :: _) -> match'Float
+              \_ -> _
+              ('NatCase
+                \_ -> _ :: _
+                (_rhs undefined)
+                \(g :: _) -> 'NatCase
+                  \_ -> _ :: _
+                  (_rhs undefined)
+                  \(h :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs \(i := _rhs (V2 1.0 1.0)) -> i)
+                    \(j :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs \(k := _rhs (V3 1.0 1.0 1.0)) -> k)
+                      \(l :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs \(m := _rhs (V4 1.0 1.0 1.0 1.0)) -> m)
+                        \_ -> _rhs undefined
+                        l
+                      j
+                    h
+                  g
+                f)
+              e
+              (match'Bool
+                \_ -> _
+                ('NatCase
+                  \_ -> _ :: _
+                  (_rhs undefined)
+                  \(n :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs undefined)
+                    \(o :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs \(p := _rhs (V2 True True)) -> p)
+                      \(q :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs \(r := _rhs (V3 True True True)) -> r)
+                        \(s :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (_rhs \(t := _rhs (V4 True True True True)) -> t)
+                          \_ -> _rhs undefined
+                          s
+                        q
+                      o
+                    n
+                  f)
+                e
+                (_rhs undefined))
+            a
+            (match'Bool \_ -> _ (_rhs \(u := _rhs True) -> u) a (_rhs undefined))))))
+    :: forall v . Component v => v
+'Integral
+  = (\(a :: _) -> match'Int
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs 'Unit)
+        a
+        (_rhs ('Empty "no instance of 'Integral on ???"))))
+    :: Type -> Type
+'Floating
+  = (\(a :: _) -> match'Float
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'VecS
+        \_ -> _
+        \(b :: _) (c :: _) -> match'Float
+          \_ -> _
+          ('NatCase
+            \_ -> _ :: _
+            (_rhs ('Empty "no instance of 'Floating on ???"))
+            \(d :: _) -> 'NatCase
+              \_ -> _ :: _
+              (_rhs ('Empty "no instance of 'Floating on ???"))
+              \(e :: _) -> 'NatCase
+                \_ -> _ :: _
+                (_rhs 'Unit)
+                \(f :: _) -> 'NatCase
+                  \_ -> _ :: _
+                  (_rhs 'Unit)
+                  \(g :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs 'Unit)
+                    \_ -> _rhs ('Empty "no instance of 'Floating on ???")
+                    g
+                  f
+                e
+              d
+            c)
+          b
+          (_rhs ('Empty "no instance of 'Floating on ???"))
+        a
+        (match'Mat
+          \_ -> _
+          \(h :: _) (i :: _) (j :: _) -> 'NatCase
+            \_ -> _ :: _
+            (_rhs ('Empty "no instance of 'Floating on ???"))
+            \(k :: _) -> 'NatCase
+              \_ -> _ :: _
+              (_rhs ('Empty "no instance of 'Floating on ???"))
+              \(l :: _) -> 'NatCase
+                \_ -> _ :: _
+                ('NatCase
+                  \_ -> _ :: _
+                  (_rhs ('Empty "no instance of 'Floating on ???"))
+                  \(m :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    (_rhs ('Empty "no instance of 'Floating on ???"))
+                    \(n :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (match'Float
+                        \_ -> _
+                        (_rhs 'Unit)
+                        j
+                        (_rhs ('Empty "no instance of 'Floating on ???")))
+                      \(o :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (match'Float
+                          \_ -> _
+                          (_rhs 'Unit)
+                          j
+                          (_rhs ('Empty "no instance of 'Floating on ???")))
+                        \(p :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (match'Float
+                            \_ -> _
+                            (_rhs 'Unit)
+                            j
+                            (_rhs ('Empty "no instance of 'Floating on ???")))
+                          \_ -> _rhs ('Empty "no instance of 'Floating on ???")
+                          p
+                        o
+                      n
+                    m
+                  i)
+                \(q :: _) -> 'NatCase
+                  \_ -> _ :: _
+                  ('NatCase
+                    \_ -> _ :: _
+                    (_rhs ('Empty "no instance of 'Floating on ???"))
+                    \(r :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      (_rhs ('Empty "no instance of 'Floating on ???"))
+                      \(s :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (match'Float
+                          \_ -> _
+                          (_rhs 'Unit)
+                          j
+                          (_rhs ('Empty "no instance of 'Floating on ???")))
+                        \(t :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (match'Float
+                            \_ -> _
+                            (_rhs 'Unit)
+                            j
+                            (_rhs ('Empty "no instance of 'Floating on ???")))
+                          \(u :: _) -> 'NatCase
+                            \_ -> _ :: _
+                            (match'Float
+                              \_ -> _
+                              (_rhs 'Unit)
+                              j
+                              (_rhs ('Empty "no instance of 'Floating on ???")))
+                            \_ -> _rhs ('Empty "no instance of 'Floating on ???")
+                            u
+                          t
+                        s
+                      r
+                    i)
+                  \(v :: _) -> 'NatCase
+                    \_ -> _ :: _
+                    ('NatCase
+                      \_ -> _ :: _
+                      (_rhs ('Empty "no instance of 'Floating on ???"))
+                      \(w :: _) -> 'NatCase
+                        \_ -> _ :: _
+                        (_rhs ('Empty "no instance of 'Floating on ???"))
+                        \(x :: _) -> 'NatCase
+                          \_ -> _ :: _
+                          (match'Float
+                            \_ -> _
+                            (_rhs 'Unit)
+                            j
+                            (_rhs ('Empty "no instance of 'Floating on ???")))
+                          \(y :: _) -> 'NatCase
+                            \_ -> _ :: _
+                            (match'Float
+                              \_ -> _
+                              (_rhs 'Unit)
+                              j
+                              (_rhs ('Empty "no instance of 'Floating on ???")))
+                            \(z :: _) -> 'NatCase
+                              \_ -> _ :: _
+                              (match'Float
+                                \_ -> _
+                                (_rhs 'Unit)
+                                j
+                                (_rhs ('Empty "no instance of 'Floating on ???")))
+                              \_ -> _rhs ('Empty "no instance of 'Floating on ???")
+                              z
+                            y
+                          x
+                        w
+                      i)
+                    \_ -> _rhs ('Empty "no instance of 'Floating on ???")
+                    v
+                  q
+                l
+              k
+            h
+          a
+          (_rhs ('Empty "no instance of 'Floating on ???")))))
+    :: Type -> Type
+PrimAdd :: forall (a :: _) . Num (MatVecScalarElem a) => a -> a -> a
+PrimSub :: forall (a :: _) . Num (MatVecScalarElem a) => a -> a -> a
+PrimMul :: forall (a :: _) . Num (MatVecScalarElem a) => a -> a -> a
+PrimAddS
+  :: forall (a :: _) (b :: _) . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
+PrimSubS
+  :: forall (a :: _) (b :: _) . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
+PrimMulS
+  :: forall (a :: _) (b :: _) . (a ~ MatVecScalarElem b, Num a) => b -> a -> b
+PrimDiv
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> b -> b
+PrimMod
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> b -> b
+PrimDivS
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> a -> b
+PrimModS
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> a -> b
+PrimNeg :: forall (a :: _) . Signed (MatVecScalarElem a) => a -> a
+PrimBAnd
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBOr
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBXor
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBAndS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBOrS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBXorS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBNot
+  :: forall (a :: _) (b :: _) (c :: _) . (Integral a, b ~ VecScalar c a) => b -> b
+PrimBShiftL
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+PrimBShiftR
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+PrimBShiftLS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> Word -> b
+PrimBShiftRS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Integral a, b ~ VecScalar c a) => b -> Word -> b
+PrimAnd :: Bool -> Bool -> Bool
+PrimOr :: Bool -> Bool -> Bool
+PrimXor :: Bool -> Bool -> Bool
+PrimNot :: forall (a :: _) (b :: _) . (a ~ VecScalar b Bool) => a -> a
+PrimAny :: forall (a :: _) . VecScalar a Bool -> Bool
+PrimAll :: forall (a :: _) . VecScalar a Bool -> Bool
+PrimACos :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimACosH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimASin :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimASinH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimATan :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimATanH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimCos :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimCosH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimDegrees :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimRadians :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimSin :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimSinH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimTan :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimTanH :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimExp :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimLog :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimExp2 :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimLog2 :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimSqrt :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimInvSqrt :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimPow :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a
+PrimATan2 :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a
+PrimFloor :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimTrunc :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimRound :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimRoundEven :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimCeil :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimFract :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimMin
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> b -> b
+PrimMax
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> b -> b
+PrimMinS
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> a -> b
+PrimMaxS
+  :: forall (a :: _) (b :: _) (c :: _) . (Num a, b ~ VecScalar c a) => b -> a -> b
+PrimIsNan
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
+PrimIsInf
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
+PrimAbs
+  :: forall (a :: _) (b :: _) (c :: _) . (Signed a, b ~ VecScalar c a) => b -> b
+PrimSign
+  :: forall (a :: _) (b :: _) (c :: _) . (Signed a, b ~ VecScalar c a) => b -> b
+PrimModF
+  :: forall (a :: _) (b :: _)
+    . (a ~ VecScalar b Float) => a -> HList ('Cons a ('Cons a 'Nil))
+PrimClamp
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Num a, b ~ VecScalar c a) => b -> b -> b -> b
+PrimClampS
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (Num a, b ~ VecScalar c a) => b -> a -> a -> b
+PrimMix
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a -> a
+PrimMixS
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> Float -> a
+PrimMixB
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a
+PrimStep :: forall (a :: _) (b :: _) . (a ~ Vec b Float) => a -> a -> a
+PrimStepS
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => Float -> a -> a
+PrimSmoothStep
+  :: forall (a :: _) (b :: _) . (a ~ Vec b Float) => a -> a -> a -> a
+PrimSmoothStepS
+  :: forall (a :: _) (b :: _)
+    . (a ~ VecScalar b Float) => Float -> Float -> a -> a
+PrimFloatBitsToInt :: forall (a :: _) . VecScalar a Float -> VecScalar a Int
+PrimFloatBitsToUInt :: forall (a :: _) . VecScalar a Float -> VecScalar a Word
+PrimIntBitsToFloat :: forall (a :: _) . VecScalar a Int -> VecScalar a Float
+PrimUIntBitsToFloat :: forall (a :: _) . VecScalar a Word -> VecScalar a Float
+PrimLength :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> Float
+PrimDistance
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> Float
+PrimDot :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> Float
+PrimCross :: forall (a :: _) . (a ~ VecScalar (fromInt 3) Float) => a -> a -> a
+PrimNormalize :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimFaceForward
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a -> a
+PrimRefract
+  :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a -> a
+PrimReflect :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a -> a
+PrimTranspose :: forall (a :: _) (b :: _) (c :: _) . Mat a b c -> Mat b a c
+PrimDeterminant :: forall (a :: _) (b :: _) . Mat a a b -> Float
+PrimInverse :: forall (a :: _) (b :: _) . Mat a a b -> Mat a a b
+PrimOuterProduct
+  :: forall (a :: _) (b :: _) (c :: _) . Vec a b -> Vec c b -> Mat c a b
+PrimMulMatVec
+  :: forall (a :: _) (b :: _) (c :: _) . Mat a b c -> Vec b c -> Vec a c
+PrimMulVecMat
+  :: forall (a :: _) (b :: _) (c :: _) . Vec a b -> Mat a c b -> Vec c b
+PrimMulMatMat
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . Mat a b c -> Mat b d c -> Mat a d c
+PrimLessThan
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimLessThanEqual
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimGreaterThan
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimGreaterThanEqual
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimEqualV
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimNotEqualV
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimEqual
+  :: forall (a :: _) (b :: _) . (b ~ MatVecScalarElem a) => a -> a -> Bool
+PrimNotEqual
+  :: forall (a :: _) (b :: _) . (b ~ MatVecScalarElem a) => a -> a -> Bool
+PrimDFdx :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimDFdy :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimFWidth :: forall (a :: _) (b :: _) . (a ~ VecScalar b Float) => a -> a
+PrimNoise1 :: forall (a :: _) . VecScalar a Float -> Float
+PrimNoise2 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 2) Float
+PrimNoise3 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 3) Float
+PrimNoise4 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 4) Float
+head
+  = \(a :: _) -> 'ListCase
+    \_ -> _ :: _
+    (_rhs undefined)
+    \(b :: _) -> \_ -> _rhs b
+    a
+++
+  = \(a :: _) (b :: _) -> 'ListCase
+    \_ -> _ :: _
+    (_rhs b)
+    \(c :: _) (d :: _) -> _rhs (c : d ++ b)
+    a
+foldr
+  = \(a :: _) (b :: _) (c :: _) -> 'ListCase
+    \_ -> _ :: _
+    (_rhs b)
+    \(d :: _) (e :: _) -> _rhs (a d (foldr a b e))
+    c
+concat = _rhs (foldr ++ Nil)
+map
+  = \(a :: _) (b :: _) -> 'ListCase
+    \_ -> _ :: _
+    (_rhs Nil)
+    \(c :: _) (d :: _) -> _rhs (a c : map a d)
+    b
+concatMap
+  = (\(a :: _) (b :: _) -> _rhs (concat (map a b)))
+    :: forall (c :: _) (d :: _) . (c -> List d) -> List c -> List d
+len
+  = \(a :: _) -> 'ListCase
+    \_ -> _ :: _
+    (_rhs (fromInt 0))
+    \_ (b :: _) -> _rhs (fromInt 1 `primAddInt` len b)
+    a
+data Maybe (_ :: Type) :: Type where
+    Nothing :: Maybe _a
+    Just :: _a -> Maybe _a
+data Vector (_ :: Nat) (_ :: Type) :: Type where
+    
+data PrimitiveType :: Type where
+    Triangle :: PrimitiveType
+    Line :: PrimitiveType
+    Point :: PrimitiveType
+    TriangleAdjacency :: PrimitiveType
+    LineAdjacency :: PrimitiveType
+data Primitive (_ :: Type) :: PrimitiveType -> Type where
+    PrimPoint :: _a -> Primitive _a Point
+    PrimLine :: _a -> _a -> Primitive _a Line
+    PrimTriangle :: _a -> _a -> _a -> Primitive _a Triangle
+mapPrimitive
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (a -> b) -> Primitive a c -> Primitive b c
+'PrimitiveStream = \(a :: _) (b :: _) -> _rhs ('List ('Primitive b a))
+mapPrimitives
+  = (\(a :: _) -> _rhs (map (mapPrimitive a)))
+    :: forall (b :: _) (c :: _) (d :: _)
+      . (b -> c) -> PrimitiveStream d b -> PrimitiveStream d c
+'ListElem
+  = (\(a :: _) -> match'List \_ -> _ \(b :: _) -> _rhs b a undefined)
+    :: Type -> Type
+fetchArrays
+  :: forall (a :: _) (b :: _) (c :: _)
+    . (b ~ map ListElem c) => HList c -> PrimitiveStream a (HList b)
+fetch
+  :: forall (a :: _) (b :: _) . String -> HList b -> PrimitiveStream a (HList b)
+Attribute :: forall (a :: _) . String -> a
+fetchStream
+  :: forall (a :: _) (b :: List Type)
+    . String
+      -> forall (c :: List String) -> (len c ~ len b) => PrimitiveStream a (HList b)
+data SimpleFragment (_ :: Type) :: Type where
+    SimpleFragment :: Vec (fromInt 3) Float -> _a -> SimpleFragment _a
+'Fragment = \(a :: _) (b :: _) -> _rhs ('Vector a ('Maybe ('SimpleFragment b)))
+sFragmentCoords
+  = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a
+sFragmentValue
+  = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \_ (b :: _) -> _rhs b a
+'FragmentStream = \(a :: _) (b :: _) -> _rhs ('List ('Fragment a b))
+customizeDepth
+  :: forall (a :: _) (b :: _) . (a -> Float) -> Fragment b a -> Fragment b a
+customizeDepths
+  = (\(a :: _) -> _rhs (map (customizeDepth a)))
+    :: forall (b :: _) (c :: _)
+      . (b -> Float) -> FragmentStream c b -> FragmentStream c b
+filterFragment
+  :: forall (a :: _) (b :: _) . (a -> Bool) -> Fragment b a -> Fragment b a
+filterFragments
+  = (\(a :: _) -> _rhs (map (filterFragment a)))
+    :: forall (b :: _) (c :: _)
+      . (b -> Bool) -> FragmentStream c b -> FragmentStream c b
+mapFragment
+  :: forall (a :: _) (b :: _) (c :: _) . (a -> b) -> Fragment c a -> Fragment c b
+mapFragments
+  = (\(a :: _) -> _rhs (map (mapFragment a)))
+    :: forall (b :: _) (c :: _) (d :: _)
+      . (b -> c) -> FragmentStream d b -> FragmentStream d c
+data ImageKind :: Type where
+    Color :: Type -> ImageKind
+    Depth :: ImageKind
+    Stencil :: ImageKind
+imageType
+  = (\(a :: _) -> 'ImageKindCase
+      \_ -> _ :: _
+      \(b :: _) -> _rhs b
+      (_rhs 'Float)
+      (_rhs 'Int)
+      a)
+    :: ImageKind -> Type
+data Image (_ :: Nat) (_ :: ImageKind) :: Type where
+    
+ColorImage
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (Num c, d ~ VecScalar b c) => d -> Image a (Color d)
+DepthImage :: forall (a :: _) . Float -> Image a Depth
+StencilImage :: forall (a :: _) . Int -> Image a Stencil
+emptyDepthImage = _rhs (DepthImage @(fromInt 1))
+emptyColorImage = _rhs (ColorImage @(fromInt 1))
+data Swizz :: Type where
+    Sx :: Swizz
+    Sy :: Swizz
+    Sz :: Swizz
+    Sw :: Swizz
+swizzscalar
+  = (\(a :: _) (b :: _) -> 'VecSCase
+      \_ -> \_ -> _ :: _
+      \(c :: _) (d :: _) -> 'SwizzCase
+        \_ -> _ :: _
+        (_rhs c)
+        (_rhs d)
+        (_rhs undefined)
+        (_rhs undefined)
+        b
+      \(e :: _) (f :: _) (g :: _) -> 'SwizzCase
+        \_ -> _ :: _
+        (_rhs e)
+        (_rhs f)
+        (_rhs g)
+        (_rhs undefined)
+        b
+      \(h :: _) (i :: _) (j :: _) (k :: _) -> 'SwizzCase
+        \_ -> _ :: _
+        (_rhs h)
+        (_rhs i)
+        (_rhs j)
+        (_rhs k)
+        b
+      a)
+    :: forall (l :: _) (m :: _) . Vec m l -> Swizz -> l
+definedVec
+  = (\(a :: _) -> 'VecSCase
+      \_ -> \_ -> _ :: _
+      \_ -> \_ -> _rhs True
+      \_ -> \_ -> \_ -> _rhs True
+      \_ -> \_ -> \_ -> \_ -> _rhs True
+      a)
+    :: forall (b :: _) (c :: _) . Vec c b -> Bool
+swizzvector
+  = (\(a :: _) (b :: _) -> 'BoolCase
+      \_ -> _ :: _
+      (_rhs undefined)
+      (_rhs (mapVec (swizzscalar a) b))
+      (definedVec a))
+    :: forall (c :: _) (d :: _) (e :: _) . Vec d c -> Vec e Swizz -> Vec e c
+data BlendingFactor :: Type where
+    ZeroBF :: BlendingFactor
+    OneBF :: BlendingFactor
+    SrcColor :: BlendingFactor
+    OneMinusSrcColor :: BlendingFactor
+    DstColor :: BlendingFactor
+    OneMinusDstColor :: BlendingFactor
+    SrcAlpha :: BlendingFactor
+    OneMinusSrcAlpha :: BlendingFactor
+    DstAlpha :: BlendingFactor
+    OneMinusDstAlpha :: BlendingFactor
+    ConstantColor :: BlendingFactor
+    OneMinusConstantColor :: BlendingFactor
+    ConstantAlpha :: BlendingFactor
+    OneMinusConstantAlpha :: BlendingFactor
+    SrcAlphaSaturate :: BlendingFactor
+data BlendEquation :: Type where
+    FuncAdd :: BlendEquation
+    FuncSubtract :: BlendEquation
+    FuncReverseSubtract :: BlendEquation
+    Min :: BlendEquation
+    Max :: BlendEquation
+data LogicOperation :: Type where
+    Clear :: LogicOperation
+    And :: LogicOperation
+    AndReverse :: LogicOperation
+    Copy :: LogicOperation
+    AndInverted :: LogicOperation
+    Noop :: LogicOperation
+    Xor :: LogicOperation
+    Or :: LogicOperation
+    Nor :: LogicOperation
+    Equiv :: LogicOperation
+    Invert :: LogicOperation
+    OrReverse :: LogicOperation
+    CopyInverted :: LogicOperation
+    OrInverted :: LogicOperation
+    Nand :: LogicOperation
+    Set :: LogicOperation
+data StencilOperation :: Type where
+    OpZero :: StencilOperation
+    OpKeep :: StencilOperation
+    OpReplace :: StencilOperation
+    OpIncr :: StencilOperation
+    OpIncrWrap :: StencilOperation
+    OpDecr :: StencilOperation
+    OpDecrWrap :: StencilOperation
+    OpInvert :: StencilOperation
+data ComparisonFunction :: Type where
+    Never :: ComparisonFunction
+    Less :: ComparisonFunction
+    Equal :: ComparisonFunction
+    Lequal :: ComparisonFunction
+    Greater :: ComparisonFunction
+    Notequal :: ComparisonFunction
+    Gequal :: ComparisonFunction
+    Always :: ComparisonFunction
+data ProvokingVertex :: Type where
+    LastVertex :: ProvokingVertex
+    FirstVertex :: ProvokingVertex
+data CullMode :: Type where
+    CullFront :: CullMode
+    CullBack :: CullMode
+    CullNone :: CullMode
+data PointSize (_ :: Type) :: Type where
+    PointSize :: Float -> PointSize _a
+    ProgramPointSize :: (_a -> Float) -> PointSize _a
+data PolygonMode (_ :: Type) :: Type where
+    PolygonFill :: PolygonMode _a
+    PolygonPoint :: PointSize _a -> PolygonMode _a
+    PolygonLine :: Float -> PolygonMode _a
+data PolygonOffset :: Type where
+    NoOffset :: PolygonOffset
+    Offset :: Float -> Float -> PolygonOffset
+data PointSpriteCoordOrigin :: Type where
+    LowerLeft :: PointSpriteCoordOrigin
+    UpperLeft :: PointSpriteCoordOrigin
+primTexture :: HList 'Nil -> Vec (fromInt 2) Float -> Vec (fromInt 4) Float
+Uniform :: forall (a :: _) . String -> a
+data RasterContext (_ :: Type) :: PrimitiveType -> Type where
+    TriangleCtx
+      :: CullMode
+        -> PolygonMode _a
+          -> PolygonOffset -> ProvokingVertex -> RasterContext _a Triangle
+    PointCtx
+      :: PointSize _a -> Float -> PointSpriteCoordOrigin -> RasterContext _a Point
+    LineCtx :: Float -> ProvokingVertex -> RasterContext _a Line
+data Blending :: Type -> Type where
+    NoBlending :: forall (a :: _) . Blending a
+    BlendLogicOp :: forall (b :: _) . Integral b => LogicOperation -> Blending b
+    Blend
+      :: HList ('Cons BlendEquation ('Cons BlendEquation 'Nil))
+        -> HList
+            ('Cons
+              (HList ('Cons BlendingFactor ('Cons BlendingFactor 'Nil)))
+              ('Cons (HList ('Cons BlendingFactor ('Cons BlendingFactor 'Nil))) 'Nil))
+          -> Vec (fromInt 4) Float -> Blending Float
+data StencilTests :: Type where
+    
+data StencilOps :: Type where
+    
+data FragmentOperation :: ImageKind -> Type where
+    ColorOp
+      :: forall (a :: _) (b :: _)
+        . Num a
+          => Blending a -> VecScalar b Bool -> FragmentOperation (Color (VecScalar b a))
+    DepthOp :: ComparisonFunction -> Bool -> FragmentOperation Depth
+    StencilOp
+      :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation Stencil
+data Interpolated (_ :: Type) :: Type where
+    Smooth :: Floating _a => Interpolated _a
+    NoPerspective :: Floating _a => Interpolated _a
+    Flat :: Interpolated _a
+rasterizePrimitive
+  :: forall (a :: _) (b :: _) (c :: _) (d :: _)
+    . (map Interpolated a ~ b, c ~ 'Cons (Vec (fromInt 4) Float) a)
+      => HList b
+        -> RasterContext (HList c) d
+          -> Primitive (HList c) d -> FragmentStream (fromInt 1) (HList a)
+rasterizePrimitives
+  = \(a :: _) (b :: _) (c :: _) -> _rhs (concat (map (rasterizePrimitive b a) c))
+'ImageLC
+  = (\(a :: _) -> match'Image \_ -> _ \(b :: _) -> \_ -> _rhs b a undefined)
+    :: Type -> Nat
+allSame
+  = (\(a :: _) -> 'ListCase
+      \_ -> _ :: _
+      (_rhs 'Unit)
+      \(b :: _) (c :: _) -> 'ListCase
+        \_ -> _ :: _
+        (_rhs 'Unit)
+        \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e)))
+        c
+      a)
+    :: forall (f :: _) . List f -> Type
+sameLayerCounts = \(a :: _) -> _rhs (allSame (map 'ImageLC a))
+data FrameBuffer (_ :: Nat) (_ :: List ImageKind) :: Type where
+    
+imageType'
+  = (\(a :: _) -> 'ListCase
+      \_ -> _ :: _
+      (_rhs (map imageType a))
+      \(b :: _) (c :: _) -> 'ImageKindCase
+        \_ -> _ :: _
+        \_ -> _rhs (map imageType a)
+        (_rhs (map imageType c))
+        (_rhs (map imageType a))
+        b
+      a)
+    :: List ImageKind -> List Type
+'FragmentOperationKind
+  = (\(a :: _) -> match'FragmentOperation \_ -> _ \(b :: _) -> _rhs b a undefined)
+    :: Type -> ImageKind
+Accumulate
+  :: forall (a :: _) (b :: Nat) (c :: List Type)
+    . (a ~ map FragmentOperationKind c)
+      => HList c
+        -> FragmentStream b (HList (imageType' a)) -> FrameBuffer b a -> FrameBuffer b a
+accumulateWith = \(a :: _) (b :: _) -> _rhs (HCons a (HCons b HNil))
+overlay
+  = \(a :: _) (b :: _) -> hlistConsCase
+    (_ :: _)
+    \(c :: _) (d :: _) -> hlistConsCase
+      (_ :: _)
+      \(e :: _) (f :: _) -> hlistNilCase (_ :: _) (_rhs (Accumulate c e a)) f
+      d
+    b
+infixl 0 overlay
+'GetImageKind
+  = (\(a :: _) -> match'Image \_ -> _ \_ (b :: _) -> _rhs b a undefined)
+    :: Type -> ImageKind
+FrameBuffer
+  :: forall (a :: List Type)
+    . sameLayerCounts a
+      => HList a -> FrameBuffer (ImageLC (head a)) (map GetImageKind a)
+imageFrame = _rhs FrameBuffer
+accumulate
+  = \(a :: _) (b :: _) (c :: _) (d :: _) -> _rhs
+    (Accumulate a (mapFragments b c) d)
+PrjImage
+  :: forall (a :: _)
+    . FrameBuffer (fromInt 1) ('Cons a 'Nil) -> Image (fromInt 1) a
+PrjImageColor
+  :: FrameBuffer
+      (fromInt 1)
+      ('Cons 'Depth ('Cons ('Color (Vec (fromInt 4) Float)) 'Nil))
+    -> Image (fromInt 1) (Color (Vec (fromInt 4) Float))
+data Output :: Type where
+    ScreenOut :: forall (a :: _) (b :: _) . FrameBuffer a b -> Output
+renderFrame = _rhs ScreenOut
+data Texture :: Type where
+    Texture2DSlot :: String -> Texture
+    Texture2D
+      :: Vec (fromInt 2) Int
+        -> Image (fromInt 1) (Color (Vec (fromInt 4) Float)) -> Texture
+data Filter :: Type where
+    PointFilter :: Filter
+    LinearFilter :: Filter
+data EdgeMode :: Type where
+    Repeat :: EdgeMode
+    MirroredRepeat :: EdgeMode
+    ClampToEdge :: EdgeMode
+data Sampler :: Type where
+    Sampler :: Filter -> EdgeMode -> Texture -> Sampler
+texture2D :: Sampler -> Vec (fromInt 2) Float -> Vec (fromInt 4) Float
+accumulationContext = \(a :: _) -> _rhs a
 main is not found
 ------------ trace
 id :: forall a . a -> a
@@ -5,8 +1020,16 @@ 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 . 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
+'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
@@ -17,11 +1040,37 @@ M42F :: Vec 4 Float -> Vec 4
 M23F :: Vec 2 Float -> Vec 2 Float -> Vec 2 Float -> Mat 2 3 Float
 M33F :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float
 M43F :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 3 Float
-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 :: 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
+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
+  :: 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
@@ -40,17 +1089,29 @@ PrimMod :: forall a b (c :: Nat) . (Num a[0;3
 PrimDivS :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
 PrimModS :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
 PrimNeg :: forall a . Signed (MatVecScalarElem a) => a -> a
-PrimBAnd :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
-PrimBOr :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
-PrimBXor :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
-PrimBAndS :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
-PrimBOrS :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
-PrimBXorS :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBAnd
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBOr
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBXor
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b -> b
+PrimBAndS
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBOrS
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
+PrimBXorS
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> a -> b
 PrimBNot :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> b
-PrimBShiftL :: forall a b (c :: Nat) d . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
-PrimBShiftR :: forall a b (c :: Nat) d . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
-PrimBShiftLS :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
-PrimBShiftRS :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
+PrimBShiftL
+  :: forall a b (c :: Nat) d
+    . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+PrimBShiftR
+  :: forall a b (c :: Nat) d
+    . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+PrimBShiftLS
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
+PrimBShiftRS
+  :: forall a b (c :: Nat) . (Integral a, b ~ VecScalar c a) => b -> Word -> b
 PrimAnd :: Bool -> Bool -> Bool
 PrimOr :: Bool -> Bool -> Bool
 PrimXor :: Bool -> Bool -> Bool
@@ -89,20 +1150,30 @@ PrimMin :: forall a b (c :: Nat) . (Num a[0;3
 PrimMax :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
 PrimMinS :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
 PrimMaxS :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> b
-PrimIsNan :: forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
-PrimIsInf :: forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
+PrimIsNan
+  :: forall a (b :: Nat) c
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
+PrimIsInf
+  :: forall a (b :: Nat) c
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> c
 PrimAbs :: forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
 PrimSign :: forall a b (c :: Nat) . (Signed a, b ~ VecScalar c a) => b -> b
 PrimModF :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> (a, a)
-PrimClamp :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b
-PrimClampS :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b
+PrimClamp
+  :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b -> b
+PrimClampS
+  :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> a -> a -> b
 PrimMix :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
-PrimMixS :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a
-PrimMixB :: forall a (b :: Nat) c . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a
+PrimMixS
+  :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float -> a
+PrimMixB
+  :: forall a (b :: Nat) c
+    . (a ~ VecScalar b Float, c ~ VecScalar b Bool) => a -> a -> c -> a
 PrimStep :: forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a
 PrimStepS :: forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> a -> a
 PrimSmoothStep :: forall a (b :: Nat) . (a ~ VecS Float b) => a -> a -> a -> a
-PrimSmoothStepS :: forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a
+PrimSmoothStepS
+  :: forall a (b :: Nat) . (a ~ VecScalar b Float) => Float -> Float -> a -> a
 PrimFloatBitsToInt :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Int
 PrimFloatBitsToUInt :: forall (a :: Nat) . VecScalar a Float -> VecScalar a Word
 PrimIntBitsToFloat :: forall (a :: Nat) . VecScalar a Int -> VecScalar a Float
@@ -112,22 +1183,40 @@ PrimDistance :: forall a (b :: Nat) . (a ~ [3
 PrimDot :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
 PrimCross :: forall a . (a ~ VecS Float 3) => a -> a -> a
 PrimNormalize :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
-PrimFaceForward :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
+PrimFaceForward
+  :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
 PrimRefract :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a -> a
 PrimReflect :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
 PrimTranspose :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> Mat b a c
 PrimDeterminant :: forall (a :: Nat) b . Mat a a b -> Float
 PrimInverse :: forall (a :: Nat) b . Mat a a b -> Mat a a b
-PrimOuterProduct :: forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b
-PrimMulMatVec :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> Vec b c -> Vec a c
-PrimMulVecMat :: forall (a :: Nat) b (c :: Nat) . Vec a b -> Mat a c b -> Vec c b
-PrimMulMatMat :: forall (a :: Nat) (b :: Nat) c (d :: Nat) . Mat a b c -> Mat b d c -> Mat a d c
-PrimLessThan :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
-PrimLessThanEqual :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
-PrimGreaterThan :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
-PrimGreaterThanEqual :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
-PrimEqualV :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
-PrimNotEqualV :: forall a (b :: Nat) c d . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimOuterProduct
+  :: forall (a :: Nat) b (c :: Nat) . Vec a b -> Vec c b -> Mat c a b
+PrimMulMatVec
+  :: forall (a :: Nat) (b :: Nat) c . Mat a b c -> Vec b c -> Vec a c
+PrimMulVecMat
+  :: forall (a :: Nat) b (c :: Nat) . Vec a b -> Mat a c b -> Vec c b
+PrimMulMatMat
+  :: forall (a :: Nat) (b :: Nat) c (d :: Nat)
+    . Mat a b c -> Mat b d c -> Mat a d c
+PrimLessThan
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimLessThanEqual
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimGreaterThan
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimGreaterThanEqual
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimEqualV
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
+PrimNotEqualV
+  :: forall a (b :: Nat) c d
+    . (Num c, a ~ VecScalar b c, d ~ VecScalar b Bool) => a -> a -> d
 PrimEqual :: forall a b . (b ~ MatVecScalarElem a) => a -> a -> Bool
 PrimNotEqual :: forall a b . (b ~ MatVecScalarElem a) => a -> a -> Bool
 PrimDFdx :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
@@ -147,72 +1236,144 @@ len :: forall a . List a -> Int
 'Maybe :: Type -> Type
 Nothing :: forall a . Maybe a
 Just :: forall a . a -> Maybe a
-'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
+'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 . 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
+'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 :: 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
+'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 . 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
+'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)
+mapPrimitives
+  :: forall a b (c :: PrimitiveType)
+    . (a -> b) -> List (Primitive a c) -> List (Primitive b c)
 'ListElem :: Type -> Type
-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)
+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 -> forall (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 . 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
+'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
 'FragmentStream :: Nat -> Type -> Type
-customizeDepth :: forall a (b :: Nat) . (a -> Float) -> Fragment b a -> Fragment b a
-customizeDepths :: forall a (b :: Nat) . (a -> Float) -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
-filterFragment :: forall a (b :: Nat) . (a -> Bool) -> Fragment b a -> Fragment b a
-filterFragments :: forall a (b :: Nat) . (a -> Bool) -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
+customizeDepth
+  :: forall a (b :: Nat) . (a -> Float) -> Fragment b a -> Fragment b a
+customizeDepths
+  :: forall a (b :: Nat)
+    . (a -> Float)
+      -> List (Vector b (Maybe (SimpleFragment a)))
+        -> List (Vector b (Maybe (SimpleFragment a)))
+filterFragment
+  :: forall a (b :: Nat) . (a -> Bool) -> Fragment b a -> Fragment b a
+filterFragments
+  :: forall a (b :: Nat)
+    . (a -> Bool)
+      -> List (Vector b (Maybe (SimpleFragment a)))
+        -> List (Vector b (Maybe (SimpleFragment a)))
 mapFragment :: forall a b (c :: Nat) . (a -> b) -> Fragment c a -> Fragment c b
-mapFragments :: forall a b (c :: Nat) . (a -> b) -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
+mapFragments
+  :: forall a b (c :: Nat)
+    . (a -> b)
+      -> List (Vector c (Maybe (SimpleFragment a)))
+        -> List (Vector c (Maybe (SimpleFragment b)))
 'ImageKind :: Type
 Color :: Type -> ImageKind
 Depth :: ImageKind
 Stencil :: ImageKind
-'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
+'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) . 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)
+'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
 emptyDepthImage :: Float -> Image 1 'Depth
-emptyColorImage :: forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
+emptyColorImage
+  :: forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
 'Swizz :: Type
 Sx :: Swizz
 Sy :: Swizz
 Sz :: Swizz
 Sw :: Swizz
-'SwizzCase :: forall (a :: Swizz -> Type) -> a 'Sx -> a 'Sy -> a 'Sz -> a 'Sw -> forall (b :: Swizz) -> 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
+swizzvector
+  :: forall a (b :: Nat) (c :: Nat) . Vec b a -> Vec c Swizz -> VecS a c
 'BlendingFactor :: Type
 ZeroBF :: BlendingFactor
 OneBF :: BlendingFactor
@@ -229,16 +1390,39 @@ OneMinusConstantColor :: BlendingFactor
 ConstantAlpha :: BlendingFactor
 OneMinusConstantAlpha :: BlendingFactor
 SrcAlphaSaturate :: BlendingFactor
-'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
+'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 :: 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
+'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 +1440,24 @@ CopyInverted :: LogicOperation
 OrInverted :: LogicOperation
 Nand :: LogicOperation
 Set :: LogicOperation
-'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
+'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 +1467,17 @@ OpIncrWrap :: StencilOperation
 OpDecr :: StencilOperation
 OpDecrWrap :: StencilOperation
 OpInvert :: StencilOperation
-'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
+'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,116 +1487,274 @@ Greater :: ComparisonFunction
 Notequal :: ComparisonFunction
 Gequal :: ComparisonFunction
 Always :: ComparisonFunction
-'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
+'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 :: 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
+'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 :: 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
+'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 . 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
+'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 . 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
+'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 :: 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
+'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 :: 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
+'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
+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 . 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
+'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 :: 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
+Blend
+  :: (BlendEquation, BlendEquation)
+    -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor))
+      -> Vec 4 Float -> Blending Float
+'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 :: forall (a :: StencilTests -> Type) (b :: StencilTests) -> a b
-match'StencilTests :: forall (a :: Type -> Type) -> a StencilTests -> forall b -> 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 :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b
-match'StencilOps :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> 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))
+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 :: 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
+StencilOp
+  :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil
+'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 . 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))))
+'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) . 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
+'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
+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
 accumulateWith :: forall a b . a -> b -> (a, b)
-overlay :: forall (a :: Nat) (b :: List Type) . FrameBuffer a (map Type ImageKind FragmentOperationKind b) -> (HList b, List (Fragment a (HList (imageType' (map Type ImageKind FragmentOperationKind b))))) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+overlay
+  :: forall (a :: Nat) (b :: List Type)
+    . FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+      -> (HList b, List
+            (Fragment a (HList (imageType' (map Type ImageKind FragmentOperationKind b)))))
+        -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
 'GetImageKind :: Type -> ImageKind
-FrameBuffer :: forall (a :: List Type) . sameLayerCounts a => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
-imageFrame :: forall (a :: List Type) . sameLayerCounts a => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
-accumulate :: forall (a :: Nat) (b :: List Type) c . HList b -> (c -> HList (imageType' (map Type ImageKind FragmentOperationKind b))) -> List (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+FrameBuffer
+  :: forall (a :: List Type)
+    . sameLayerCounts a
+      => HList a
+        -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
+imageFrame
+  :: forall (a :: List Type)
+    . sameLayerCounts a
+      => HList a
+        -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
+accumulate
+  :: forall (a :: Nat) (b :: List Type) c
+    . HList b
+      -> (c -> HList (imageType' (map Type ImageKind FragmentOperationKind b)))
+        -> List (Vector a (Maybe (SimpleFragment c)))
+          -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+            -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
 PrjImage :: forall (a :: ImageKind) . FrameBuffer 1 ('Cons a 'Nil) -> Image 1 a
-PrjImageColor :: FrameBuffer 1 ('Cons 'Depth ('Cons ('Color (Vec 4 Float)) 'Nil)) -> Image 1 ('Color (Vec 4 Float))
+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 :: 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
+'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
+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 :: 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
+'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 :: forall (a :: Filter -> Type) -> a 'PointFilter -> a 'LinearFilter -> forall (b :: Filter) -> 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 :: 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
+'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 :: 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
+'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
@@ -1054,8 +2421,10 @@ testdata/Builtins.lc 126:63-126:64  Type
 testdata/Builtins.lc 126:69-126:70  Type
 testdata/Builtins.lc 126:69-126:75  Type
 testdata/Builtins.lc 126:74-126:75  Type
-testdata/Builtins.lc 127:1-127:12  forall a b (c :: Nat) d . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
-testdata/Builtins.lc 127:14-127:25  forall a b (c :: Nat) d . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+testdata/Builtins.lc 127:1-127:12  forall a b (c :: Nat) d
+  . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
+testdata/Builtins.lc 127:14-127:25  forall a b (c :: Nat) d
+  . (Integral a, b ~ VecScalar c a, d ~ VecScalar c Word) => b -> d -> b
 testdata/Builtins.lc 127:34-127:102  Type
 testdata/Builtins.lc 127:35-127:43  Type -> Type
 testdata/Builtins.lc 127:35-127:45  Type
@@ -2028,7 +3397,8 @@ testdata/Builtins.lc 253:24-253:38  Primitive _g _a -> Primitive _f _a
 testdata/Builtins.lc 253:37-253:38  _i -> _h
 testdata/Builtins.lc 255:30-255:38  Type -> Type
 testdata/Builtins.lc 255:45-255:46  Type | Type -> Type
-testdata/Builtins.lc 260:1-260:12  forall (a :: PrimitiveType) (b :: List Type) (c :: List Type) . (b ~ map Type Type ListElem c) => HList c -> PrimitiveStream a (HList b)
+testdata/Builtins.lc 260:1-260:12  forall (a :: PrimitiveType) (b :: List Type) (c :: List Type)
+  . (b ~ map Type Type ListElem c) => HList c -> PrimitiveStream a (HList b)
 testdata/Builtins.lc 260:32-260:119  Type
 testdata/Builtins.lc 260:56-260:57  _e
 testdata/Builtins.lc 260:56-260:59  _d -> Type
@@ -2050,7 +3420,8 @@ testdata/Builtins.lc 260:108-260:109  _f
 testdata/Builtins.lc 260:111-260:116  List Type -> Type
 testdata/Builtins.lc 260:111-260:118  Type
 testdata/Builtins.lc 260:117-260:118  List Type
-testdata/Builtins.lc 262:1-262:6  forall (a :: PrimitiveType) (b :: List Type) . String -> HList b -> PrimitiveStream a (HList b)
+testdata/Builtins.lc 262:1-262:6  forall (a :: PrimitiveType) (b :: List Type)
+  . String -> HList b -> PrimitiveStream a (HList b)
 testdata/Builtins.lc 262:56-262:62  Type
 testdata/Builtins.lc 262:56-262:104  Type
 testdata/Builtins.lc 262:66-262:71  List Type -> Type
@@ -2068,7 +3439,9 @@ 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 -> forall (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
@@ -2154,9 +3527,13 @@ testdata/Builtins.lc 281:58-281:74  Type -> Type
 testdata/Builtins.lc 281:58-281:76  Type
 testdata/Builtins.lc 281:73-281:74  Nat
 testdata/Builtins.lc 281:75-281:76  Type
-testdata/Builtins.lc 282:1-282:16  forall a (b :: Nat) . (a -> Float) -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
+testdata/Builtins.lc 282:1-282:16  forall a (b :: Nat)
+  . (a -> Float)
+    -> List (Vector b (Maybe (SimpleFragment a)))
+      -> List (Vector b (Maybe (SimpleFragment a)))
 testdata/Builtins.lc 282:21-282:24  forall a b . (a -> b) -> List a -> List b
-testdata/Builtins.lc 282:21-282:43  (_b -> Float) -> FragmentStream _a _b -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _d))) -> List (Vector _a (Maybe (SimpleFragment _d)))
+testdata/Builtins.lc 282:21-282:43  (_b -> Float) -> FragmentStream _a _b -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _d)))
+  -> List (Vector _a (Maybe (SimpleFragment _d)))
 testdata/Builtins.lc 282:26-282:40  forall a (b :: Nat) . (a -> Float) -> Fragment b a -> Fragment b a
 testdata/Builtins.lc 282:26-282:42  Fragment _a _f -> Fragment _a _f
 testdata/Builtins.lc 282:41-282:42  _g -> Float
@@ -2189,9 +3566,13 @@ testdata/Builtins.lc 286:57-286:73  Type -> Type
 testdata/Builtins.lc 286:57-286:75  Type
 testdata/Builtins.lc 286:72-286:73  Nat
 testdata/Builtins.lc 286:74-286:75  Type
-testdata/Builtins.lc 287:1-287:16  forall a (b :: Nat) . (a -> Bool) -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
+testdata/Builtins.lc 287:1-287:16  forall a (b :: Nat)
+  . (a -> Bool)
+    -> List (Vector b (Maybe (SimpleFragment a)))
+      -> List (Vector b (Maybe (SimpleFragment a)))
 testdata/Builtins.lc 287:21-287:24  forall a b . (a -> b) -> List a -> List b
-testdata/Builtins.lc 287:21-287:43  (_b -> Bool) -> FragmentStream _a _b -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _d))) -> List (Vector _a (Maybe (SimpleFragment _d)))
+testdata/Builtins.lc 287:21-287:43  (_b -> Bool) -> FragmentStream _a _b -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _d)))
+  -> List (Vector _a (Maybe (SimpleFragment _d)))
 testdata/Builtins.lc 287:26-287:40  forall a (b :: Nat) . (a -> Bool) -> Fragment b a -> Fragment b a
 testdata/Builtins.lc 287:26-287:42  Fragment _a _f -> Fragment _a _f
 testdata/Builtins.lc 287:41-287:42  _g -> Bool
@@ -2224,9 +3605,13 @@ testdata/Builtins.lc 291:51-291:67  Type -> Type
 testdata/Builtins.lc 291:51-291:69  Type
 testdata/Builtins.lc 291:66-291:67  Nat
 testdata/Builtins.lc 291:68-291:69  Type
-testdata/Builtins.lc 292:1-292:13  forall a b (c :: Nat) . (a -> b) -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
+testdata/Builtins.lc 292:1-292:13  forall a b (c :: Nat)
+  . (a -> b)
+    -> List (Vector c (Maybe (SimpleFragment a)))
+      -> List (Vector c (Maybe (SimpleFragment b)))
 testdata/Builtins.lc 292:18-292:21  forall a b . (a -> b) -> List a -> List b
-testdata/Builtins.lc 292:18-292:37  (_c -> _b) -> FragmentStream _a _c -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _e))) -> List (Vector _a (Maybe (SimpleFragment _d)))
+testdata/Builtins.lc 292:18-292:37  (_c -> _b) -> FragmentStream _a _c -> FragmentStream _a _b | List (Vector _a (Maybe (SimpleFragment _e)))
+  -> List (Vector _a (Maybe (SimpleFragment _d)))
 testdata/Builtins.lc 292:23-292:34  forall a b (c :: Nat) . (a -> b) -> Fragment c a -> Fragment c b
 testdata/Builtins.lc 292:23-292:36  Fragment _a _g -> Fragment _a _f
 testdata/Builtins.lc 292:35-292:36  _i -> _h
@@ -2502,7 +3887,9 @@ testdata/Builtins.lc 455:6-458:111  Type
 testdata/Builtins.lc 455:25-455:38  Type
 testdata/Builtins.lc 455:25-455:46  Type
 testdata/Builtins.lc 455:42-455:46  Type
-testdata/Builtins.lc 456:3-456:14  RasterContext _f 'Triangle | forall a . CullMode -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
+testdata/Builtins.lc 456:3-456:14  RasterContext _f 'Triangle | forall a
+  . CullMode
+    -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
 testdata/Builtins.lc 456:3-456:115  Type
 testdata/Builtins.lc 456:26-456:34  Type
 testdata/Builtins.lc 456:26-456:115  Type
@@ -2565,7 +3952,9 @@ testdata/Builtins.lc 462:42-462:70  Type
 testdata/Builtins.lc 462:60-462:68  Type -> Type
 testdata/Builtins.lc 462:60-462:70  Type
 testdata/Builtins.lc 462:69-462:70  Type
-testdata/Builtins.lc 463:3-463:8  (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float | Blending Float
+testdata/Builtins.lc 463:3-463:8  (BlendEquation, BlendEquation)
+  -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor))
+    -> Vec 4 Float -> Blending Float | Blending Float
 testdata/Builtins.lc 463:3-465:74  Type
 testdata/Builtins.lc 463:26-463:56  Type
 testdata/Builtins.lc 463:27-463:40  Type
@@ -2597,7 +3986,8 @@ testdata/Builtins.lc 470:6-470:23  ImageKind -> Type | Type
 testdata/Builtins.lc 470:6-473:96  Type
 testdata/Builtins.lc 470:27-470:36  Type
 testdata/Builtins.lc 470:40-470:44  Type
-testdata/Builtins.lc 471:3-471:10  FragmentOperation ('Color (VecScalar _d _e)) | forall a (b :: Nat) . Num a => Blending a -> VecScalar b Bool -> FragmentOperation ('Color (VecScalar b a))
+testdata/Builtins.lc 471:3-471:10  FragmentOperation ('Color (VecScalar _d _e)) | forall a (b :: Nat)
+  . Num a => Blending a -> VecScalar b Bool -> FragmentOperation ('Color (VecScalar b a))
 testdata/Builtins.lc 471:3-471:112  Type
 testdata/Builtins.lc 471:26-471:29  Type -> Type
 testdata/Builtins.lc 471:26-471:31  Type
@@ -2655,7 +4045,10 @@ testdata/Builtins.lc 478:3-478:7  Interpolated _d | forall a . Interpolated a
 testdata/Builtins.lc 478:42-478:54  Type -> Type
 testdata/Builtins.lc 478:42-478:56  Type
 testdata/Builtins.lc 478:55-478:56  Type
-testdata/Builtins.lc 480:1-480:19  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)
+testdata/Builtins.lc 480:1-480:19  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)
 testdata/Builtins.lc 481:8-486:34  Type
 testdata/Builtins.lc 481:10-481:13  forall a b . (a -> b) -> List a -> List b
 testdata/Builtins.lc 481:10-481:26  List Type -> List Type
@@ -2707,14 +4100,23 @@ testdata/Builtins.lc 486:23-486:24  _b
 testdata/Builtins.lc 486:26-486:31  List Type -> Type
 testdata/Builtins.lc 486:26-486:33  Type
 testdata/Builtins.lc 486:32-486:33  List Type
-testdata/Builtins.lc 488:1-488:20  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))))
+testdata/Builtins.lc 488:1-488:20  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))))
 testdata/Builtins.lc 488:32-488:38  forall a . List (List a) -> List a
 testdata/Builtins.lc 488:32-488:74  List (Vector 1 (Maybe (SimpleFragment (HList _b))))
 testdata/Builtins.lc 488:40-488:43  forall a b . (a -> b) -> List a -> List b
-testdata/Builtins.lc 488:40-488:71  List (Primitive (HList ('Cons (Vec 4 Float) _b)) _a) -> List (List (Fragment 1 (HList _b)))
+testdata/Builtins.lc 488:40-488:71  List (Primitive (HList ('Cons (Vec 4 Float) _b)) _a)
+  -> List (List (Fragment 1 (HList _b)))
 testdata/Builtins.lc 488:40-488:73  List (List (Fragment 1 (HList _b)))
-testdata/Builtins.lc 488:45-488:63  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)
-testdata/Builtins.lc 488:45-488:66  RasterContext (HList ('Cons (Vec 4 Float) _b)) _a -> Primitive (HList ('Cons (Vec 4 Float) _b)) _a -> FragmentStream 1 (HList _b)
+testdata/Builtins.lc 488:45-488:63  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)
+testdata/Builtins.lc 488:45-488:66  RasterContext (HList ('Cons (Vec 4 Float) _b)) _a
+  -> Primitive (HList ('Cons (Vec 4 Float) _b)) _a -> FragmentStream 1 (HList _b)
 testdata/Builtins.lc 488:45-488:70  Primitive (HList ('Cons (Vec 4 Float) _b)) _a -> FragmentStream 1 (HList _b)
 testdata/Builtins.lc 488:64-488:66  _i
 testdata/Builtins.lc 488:67-488:70  _h
@@ -2779,7 +4181,10 @@ testdata/Builtins.lc 513:30-513:31  List ImageKind
 testdata/Builtins.lc 515:40-515:49  Type
 testdata/Builtins.lc 515:56-515:77  Type -> ImageKind
 testdata/Builtins.lc 515:102-515:103  ImageKind | ImageKind -> ImageKind | Type -> ImageKind
-testdata/Builtins.lc 517:1-517:11  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
+testdata/Builtins.lc 517:1-517:11  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
 testdata/Builtins.lc 517:15-517:174  Type
 testdata/Builtins.lc 517:28-517:31  Type
 testdata/Builtins.lc 517:39-517:45  Type
@@ -2824,10 +4229,20 @@ testdata/Builtins.lc 519:1-519:15  forall a b . a -> b -> (a, b)
 testdata/Builtins.lc 519:24-519:32  (_d, _b)
 testdata/Builtins.lc 519:25-519:28  _f
 testdata/Builtins.lc 519:30-519:31  ((_b)) | _e
-testdata/Builtins.lc 520:1-520:8  forall (a :: Nat) (b :: List Type) . FrameBuffer a (map Type ImageKind FragmentOperationKind b) -> (HList b, List (Fragment a (HList (imageType' (map Type ImageKind FragmentOperationKind b))))) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
-testdata/Builtins.lc 520:25-520:35  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
-testdata/Builtins.lc 520:25-520:39  FragmentStream _b (HList (imageType' (map Type ImageKind FragmentOperationKind _a))) -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a) -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
-testdata/Builtins.lc 520:25-520:43  FrameBuffer _b (map Type ImageKind FragmentOperationKind _a) -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+testdata/Builtins.lc 520:1-520:8  forall (a :: Nat) (b :: List Type)
+  . FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+    -> (HList b, List
+          (Fragment a (HList (imageType' (map Type ImageKind FragmentOperationKind b)))))
+      -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+testdata/Builtins.lc 520:25-520:35  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
+testdata/Builtins.lc 520:25-520:39  FragmentStream _b (HList (imageType' (map Type ImageKind FragmentOperationKind _a)))
+  -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+    -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+testdata/Builtins.lc 520:25-520:43  FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+  -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
 testdata/Builtins.lc 520:25-520:46  FrameBuffer _b (map Type ImageKind FragmentOperationKind _a) | HList _c -> _b | _c -> HList _b -> _a
 testdata/Builtins.lc 520:36-520:39  _m
 testdata/Builtins.lc 520:40-520:43  _h
@@ -2835,7 +4250,9 @@ testdata/Builtins.lc 520:44-520:46  _n
 testdata/Builtins.lc 524:31-524:40  Type
 testdata/Builtins.lc 524:47-524:59  Type -> ImageKind
 testdata/Builtins.lc 524:74-524:75  ImageKind | ImageKind -> ImageKind | Nat -> ImageKind -> ImageKind | Type -> ImageKind
-testdata/Builtins.lc 530:1-530:12  forall (a :: List Type) . sameLayerCounts a => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
+testdata/Builtins.lc 530:1-530:12  forall (a :: List Type)
+  . sameLayerCounts a
+    => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
 testdata/Builtins.lc 530:30-530:36  Type
 testdata/Builtins.lc 530:31-530:35  Type
 testdata/Builtins.lc 530:40-530:125  Type
@@ -2859,17 +4276,40 @@ testdata/Builtins.lc 530:106-530:122  List Type -> List ImageKind
 testdata/Builtins.lc 530:106-530:124  List ImageKind
 testdata/Builtins.lc 530:110-530:122  Type -> ImageKind
 testdata/Builtins.lc 530:123-530:124  List Type
-testdata/Builtins.lc 532:1-532:11  forall (a :: List Type) . sameLayerCounts a => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
-testdata/Builtins.lc 532:14-532:25  forall (a :: List Type) . sameLayerCounts a => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
-testdata/Builtins.lc 534:1-534:11  forall (a :: Nat) (b :: List Type) c . HList b -> (c -> HList (imageType' (map Type ImageKind FragmentOperationKind b))) -> List (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b) -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
-testdata/Builtins.lc 534:34-534:44  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
-testdata/Builtins.lc 534:34-534:48  FragmentStream _b (HList (imageType' (map Type ImageKind FragmentOperationKind _a))) -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a) -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
-testdata/Builtins.lc 534:34-534:76  FrameBuffer _c (map Type ImageKind FragmentOperationKind _b) -> FrameBuffer _c (map Type ImageKind FragmentOperationKind _b)
+testdata/Builtins.lc 532:1-532:11  forall (a :: List Type)
+  . sameLayerCounts a
+    => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
+testdata/Builtins.lc 532:14-532:25  forall (a :: List Type)
+  . sameLayerCounts a
+    => HList a -> FrameBuffer (ImageLC (head Type a)) (map Type ImageKind GetImageKind a)
+testdata/Builtins.lc 534:1-534:11  forall (a :: Nat) (b :: List Type) c
+  . HList b
+    -> (c -> HList (imageType' (map Type ImageKind FragmentOperationKind b)))
+      -> List (Vector a (Maybe (SimpleFragment c)))
+        -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+          -> FrameBuffer a (map Type ImageKind FragmentOperationKind b)
+testdata/Builtins.lc 534:34-534:44  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
+testdata/Builtins.lc 534:34-534:48  FragmentStream _b (HList (imageType' (map Type ImageKind FragmentOperationKind _a)))
+  -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+    -> FrameBuffer _b (map Type ImageKind FragmentOperationKind _a)
+testdata/Builtins.lc 534:34-534:76  FrameBuffer _c (map Type ImageKind FragmentOperationKind _b)
+  -> FrameBuffer _c (map Type ImageKind FragmentOperationKind _b)
 testdata/Builtins.lc 534:34-534:79  FrameBuffer _c (map Type ImageKind FragmentOperationKind _b)
 testdata/Builtins.lc 534:45-534:48  _j
-testdata/Builtins.lc 534:50-534:62  forall a b (c :: Nat) . (a -> b) -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
-testdata/Builtins.lc 534:50-534:70  List (Vector _a (Maybe (SimpleFragment _c))) -> List (Vector _a (Maybe (SimpleFragment _b)))
-testdata/Builtins.lc 534:50-534:75  List (Vector _c (Maybe (SimpleFragment (HList (imageType' (map Type ImageKind FragmentOperationKind _b))))))
+testdata/Builtins.lc 534:50-534:62  forall a b (c :: Nat)
+  . (a -> b)
+    -> List (Vector c (Maybe (SimpleFragment a)))
+      -> List (Vector c (Maybe (SimpleFragment b)))
+testdata/Builtins.lc 534:50-534:70  List (Vector _a (Maybe (SimpleFragment _c)))
+  -> List (Vector _a (Maybe (SimpleFragment _b)))
+testdata/Builtins.lc 534:50-534:75  List
+  (Vector
+    _c
+    (Maybe
+      (SimpleFragment (HList (imageType' (map Type ImageKind FragmentOperationKind _b))))))
 testdata/Builtins.lc 534:63-534:70  _k
 testdata/Builtins.lc 534:71-534:75  _g
 testdata/Builtins.lc 534:77-534:79  _e
@@ -2886,7 +4326,8 @@ testdata/Builtins.lc 537:46-537:53  ImageKind -> Type
 testdata/Builtins.lc 537:46-537:55  Type
 testdata/Builtins.lc 537:52-537:53  _b
 testdata/Builtins.lc 537:54-537:55  ImageKind
-testdata/Builtins.lc 538:1-538:14  FrameBuffer 1 ('Cons 'Depth ('Cons ('Color (Vec 4 Float)) 'Nil)) -> Image 1 ('Color (Vec 4 Float))
+testdata/Builtins.lc 538:1-538:14  FrameBuffer 1 ('Cons 'Depth ('Cons ('Color (Vec 4 Float)) 'Nil))
+  -> Image 1 ('Color (Vec 4 Float))
 testdata/Builtins.lc 538:24-538:35  Nat -> List ImageKind -> Type
 testdata/Builtins.lc 538:24-538:37  List ImageKind -> Type
 testdata/Builtins.lc 538:24-538:70  Type