better namespace handling in pretty print

1 files changed, 376 insertions, 376 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 9eff75a3..cf554d40 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1,394 +1,394 @@
 main is not found
 ------------ trace
 id :: forall a . a -> a
-'VecS :: Type -> 'Nat -> Type
-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
-mapVec :: forall a b (c :: 'Nat) . (a -> b) -> 'VecS a c -> 'VecS b c
-'Vec :: 'Nat -> Type -> Type
-'VecScalar :: 'Nat -> Type -> Type
-'Mat :: 'Nat -> 'Nat -> Type -> Type
-M22F :: 'Vec 2 'Float -> 'Vec 2 'Float -> 'Mat 2 2 'Float
-M32F :: 'Vec 3 'Float -> 'Vec 3 'Float -> 'Mat 3 2 'Float
-M42F :: 'Vec 4 'Float -> 'Vec 4 'Float -> 'Mat 4 2 'Float
-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
+'VecS :: Type -> Nat -> Type
+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
+mapVec :: forall a b (c :: Nat) . (a -> b) -> VecS a c -> VecS b c
+'Vec :: Nat -> Type -> Type
+'VecScalar :: Nat -> Type -> Type
+'Mat :: Nat -> Nat -> Type -> Type
+M22F :: Vec 2 Float -> Vec 2 Float -> Mat 2 2 Float
+M32F :: Vec 3 Float -> Vec 3 Float -> Mat 3 2 Float
+M42F :: Vec 4 Float -> Vec 4 Float -> Mat 4 2 Float
+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
 'MatVecScalarElem :: Type -> Type
 'Signed :: Type -> Type
 'Component :: Type -> Type
-zero :: forall a . 'Component a => a
-one :: forall a . 'Component a => a
+zero :: forall a . Component a => a
+one :: forall a . Component a => a
 'Integral :: Type -> Type
 'Floating :: 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 :: 'Nat) . ('Num a, b ~ 'VecScalar c a) => b -> b -> b
-PrimMod :: forall a b (c :: 'Nat) . ('Num a, b ~ 'VecScalar c a) => b -> b -> b
-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
-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
-PrimAnd :: 'Bool -> 'Bool -> 'Bool
-PrimOr :: 'Bool -> 'Bool -> 'Bool
-PrimXor :: 'Bool -> 'Bool -> 'Bool
-PrimNot :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Bool) => a -> a
-PrimAny :: forall (a :: 'Nat) . 'VecScalar a 'Bool -> 'Bool
-PrimAll :: forall (a :: 'Nat) . 'VecScalar a 'Bool -> 'Bool
-PrimACos :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimACosH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimASin :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimASinH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimATan :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimATanH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimCos :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimCosH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimDegrees :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimRadians :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimSin :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimSinH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimTan :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimTanH :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimExp :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimLog :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimExp2 :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimLog2 :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimSqrt :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimInvSqrt :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimPow :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a -> a
-PrimATan2 :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a -> a
-PrimFloor :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimTrunc :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimRound :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimRoundEven :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimCeil :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimFract :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimMin :: forall a b (c :: 'Nat) . ('Num a, b ~ 'VecScalar c a) => b -> b -> b
-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
-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
-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
-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
-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
-PrimUIntBitsToFloat :: forall (a :: 'Nat) . 'VecScalar a 'Word -> 'VecScalar a 'Float
-PrimLength :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> 'Float
-PrimDistance :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a -> 'Float
-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
-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
-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
-PrimDFdy :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimFWidth :: forall a (b :: 'Nat) . (a ~ 'VecScalar b 'Float) => a -> a
-PrimNoise1 :: forall (a :: 'Nat) . 'VecScalar a 'Float -> 'Float
-PrimNoise2 :: forall (a :: 'Nat) . 'VecScalar a 'Float -> 'Vec 2 'Float
-PrimNoise3 :: forall (a :: 'Nat) . 'VecScalar a 'Float -> 'Vec 3 'Float
-PrimNoise4 :: forall (a :: 'Nat) . 'VecScalar a 'Float -> 'Vec 4 'Float
-head :: forall a . 'List a -> a
-++ :: forall a . 'List a -> 'List a -> 'List a
-foldr :: forall a b . (b -> a -> a) -> a -> 'List b -> a
-concat :: forall a . 'List ('List a) -> 'List a
-map :: forall a b . (a -> b) -> 'List a -> 'List b
-concatMap :: forall a b . (a -> 'List b) -> 'List a -> 'List b
-len :: forall a . 'List a -> 'Int
+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 :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
+PrimMod :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
+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
+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
+PrimAnd :: Bool -> Bool -> Bool
+PrimOr :: Bool -> Bool -> Bool
+PrimXor :: Bool -> Bool -> Bool
+PrimNot :: forall a (b :: Nat) . (a ~ VecScalar b Bool) => a -> a
+PrimAny :: forall (a :: Nat) . VecScalar a Bool -> Bool
+PrimAll :: forall (a :: Nat) . VecScalar a Bool -> Bool
+PrimACos :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimACosH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimASin :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimASinH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimATan :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimATanH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimCos :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimCosH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimDegrees :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimRadians :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimSin :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimSinH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimTan :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimTanH :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimExp :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimLog :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimExp2 :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimLog2 :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimSqrt :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimInvSqrt :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimPow :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
+PrimATan2 :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> a
+PrimFloor :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimTrunc :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimRound :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimRoundEven :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimCeil :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimFract :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimMin :: forall a b (c :: Nat) . (Num a, b ~ VecScalar c a) => b -> b -> b
+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
+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
+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
+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
+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
+PrimUIntBitsToFloat :: forall (a :: Nat) . VecScalar a Word -> VecScalar a Float
+PrimLength :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> Float
+PrimDistance :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a -> Float
+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
+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
+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
+PrimDFdy :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimFWidth :: forall a (b :: Nat) . (a ~ VecScalar b Float) => a -> a
+PrimNoise1 :: forall (a :: Nat) . VecScalar a Float -> Float
+PrimNoise2 :: forall (a :: Nat) . VecScalar a Float -> Vec 2 Float
+PrimNoise3 :: forall (a :: Nat) . VecScalar a Float -> Vec 3 Float
+PrimNoise4 :: forall (a :: Nat) . VecScalar a Float -> Vec 4 Float
+head :: forall a . List a -> a
+++ :: forall a . List a -> List a -> List a
+foldr :: forall a b . (b -> a -> a) -> a -> List b -> a
+concat :: forall a . List (List a) -> List a
+map :: forall a b . (a -> b) -> List a -> List b
+concatMap :: forall a b . (a -> List b) -> List a -> List b
+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
-'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
+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
+'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
 '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
-'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
-'PrimitiveStream :: 'PrimitiveType -> Type -> Type
-mapPrimitives :: forall a b (c :: 'PrimitiveType) . (a -> b) -> 'List ('Primitive a c) -> 'List ('Primitive b c)
+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
+'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
+'PrimitiveStream :: PrimitiveType -> Type -> Type
+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)
-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)
+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)
 '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
-'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)))
-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)))
+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
+'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)))
+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)))
 '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
-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)
-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)
+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
+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)
+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)
 '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
-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
+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
+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
 'BlendingFactor :: Type
-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
-'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
+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
+'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
+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
 'LogicOperation :: Type
-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
-'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
+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
+'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
-OpReplace :: 'StencilOperation
-OpIncr :: 'StencilOperation
-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
+OpZero :: StencilOperation
+OpKeep :: StencilOperation
+OpReplace :: StencilOperation
+OpIncr :: StencilOperation
+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
 'ComparisonFunction :: Type
-Never :: 'ComparisonFunction
-Less :: 'ComparisonFunction
-Equal :: 'ComparisonFunction
-Lequal :: 'ComparisonFunction
-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
+Never :: ComparisonFunction
+Less :: ComparisonFunction
+Equal :: ComparisonFunction
+Lequal :: ComparisonFunction
+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
 '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
+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
 '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
+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
 '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
+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
 '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
+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
 '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
+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
 '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
-primTexture :: () -> 'Vec 2 'Float -> 'Vec 4 'Float
-Uniform :: forall a . 'String -> a
-'RasterContext :: Type -> 'PrimitiveType -> Type
-TriangleCtx :: forall a . 'CullMode -> 'PolygonMode a -> 'PolygonOffset -> 'ProvokingVertex -> 'RasterContext a Triangle
-PointCtx :: forall a . 'PointSize a -> 'Float -> 'PointSpriteCoordOrigin -> 'RasterContext a Point
-LineCtx :: forall a . 'Float -> 'ProvokingVertex -> 'RasterContext a Line
-'RasterContextCase :: forall a . 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
+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
+primTexture :: () -> Vec 2 Float -> Vec 4 Float
+Uniform :: forall a . String -> a
+'RasterContext :: Type -> PrimitiveType -> Type
+TriangleCtx :: forall a . CullMode -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
+PointCtx :: forall a . PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point
+LineCtx :: forall a . Float -> ProvokingVertex -> RasterContext a 'Line
+'RasterContextCase :: forall a . 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
+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
 '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
-'FragmentOperation :: 'ImageKind -> Type
-ColorOp :: forall a (b :: 'Nat) . 'Num a => 'Blending a -> 'VecScalar b 'Bool -> 'FragmentOperation (Color ('VecScalar b a))
-DepthOp :: 'ComparisonFunction -> 'Bool -> 'FragmentOperation Depth
-StencilOp :: 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation Stencil
-'FragmentOperationCase :: 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
+'StencilOpsCase :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b
+match'StencilOps :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> a b
+'FragmentOperation :: ImageKind -> Type
+ColorOp :: forall a (b :: Nat) . Num a => Blending a -> VecScalar b Bool -> FragmentOperation ('Color (VecScalar b a))
+DepthOp :: ComparisonFunction -> Bool -> FragmentOperation 'Depth
+StencilOp :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil
+'FragmentOperationCase :: 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))))
-'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
-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
+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))))
+'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
+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
 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)
-'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)
-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))
+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)
+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))
 '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
-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
+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
+match'Output :: forall (a :: Type -> Type) -> a Output -> forall b -> a b -> a b
+renderFrame :: forall (a :: Nat) (b :: List ImageKind) . FrameBuffer a b -> Output
 'Texture :: Type
-Texture2DSlot :: 'String -> 'Texture
-Texture2D :: 'Vec 2 'Int -> 'Image 1 (Color ('Vec 4 'Float)) -> 'Texture
-'TextureCase :: 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
+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
 'Filter :: Type
-PointFilter :: 'Filter
-LinearFilter :: 'Filter
-'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
+PointFilter :: Filter
+LinearFilter :: Filter
+'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
+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
 '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
-texture2D :: 'Sampler -> 'Vec 2 'Float -> 'Vec 4 'Float
+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
+texture2D :: Sampler -> Vec 2 Float -> Vec 4 Float
 accumulationContext :: forall a . a -> a
 ------------ tooltips
 testdata/Builtins.lc 10:1-10:3  forall a . a -> a
@@ -2028,7 +2028,7 @@ 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
@@ -2068,7 +2068,7 @@ testdata/Builtins.lc 264:1-264:10  forall a . String -> a
 testdata/Builtins.lc 264:14-264:20  Type
 testdata/Builtins.lc 264:14-264:25  Type
 testdata/Builtins.lc 264:24-264:25  Type | _c
-testdata/Builtins.lc 266:1-266:12  forall (a :: PrimitiveType) (b :: List Type) . String -> 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
@@ -2655,7 +2655,7 @@ 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,13 +2707,13 @@ 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: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: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
@@ -2779,7 +2779,7 @@ 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,18 +2824,18 @@ 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:25-520:46  FrameBuffer _b ('map Type ImageKind FragmentOperationKind _a) | HList _c -> _b | _c -> HList _b -> _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
 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 +2859,17 @@ 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 534:34-534:79  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: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