switch to ansi-wl-pprint

1 files changed, 390 insertions, 390 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index aefc3cae..55a1ceed 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1,395 +1,395 @@
 main is not found
 ------------ trace
-id :: {a} -> a->a
-'VecS :: Type -> 'Nat->Type
-V2 :: {a} -> a -> a -> 'VecS a 2
-V3 :: {a} -> a -> a -> a -> 'VecS a 3
-V4 :: {a} -> a -> a -> a -> a -> 'VecS a 4
-'VecSCase :: {a} -> (b : (c:'Nat) -> 'VecS a c -> Type) -> ((d:a) -> (e:a) -> b 2 (V2 d e)) -> ((f:a) -> (g:a) -> (h:a) -> b 3 (V3 f g h)) -> ((i:a) -> (j:a) -> (k:a) -> (l:a) -> b 4 (V4 i j k l)) -> {m:'Nat} -> (n : 'VecS a m) -> b m n
-match'VecS :: (a : Type->Type) -> ((b:Type) -> (c:'Nat) -> a ('VecS b c)) -> (d:Type) -> a d -> a d
-mapVec :: {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 :: (a : (b:'Nat) -> (c:'Nat) -> (d:Type) -> 'Mat b c d -> Type) -> ((e : 'Vec 2 'Float) -> (f : 'Vec 2 'Float) -> a 2 2 'Float (M22F e f)) -> ((g : 'Vec 3 'Float) -> (h : 'Vec 3 'Float) -> a 3 2 'Float (M32F g h)) -> ((i : 'Vec 4 'Float) -> (j : 'Vec 4 'Float) -> a 4 2 'Float (M42F i j)) -> ((k : 'Vec 2 'Float) -> (l : 'Vec 2 'Float) -> (m : 'Vec 2 'Float) -> a 2 3 'Float (M23F k l m)) -> ((n : 'Vec 3 'Float) -> (o : 'Vec 3 'Float) -> (p : 'Vec 3 'Float) -> a 3 3 'Float (M33F n o p)) -> ((q : 'Vec 4 'Float) -> (r : 'Vec 4 'Float) -> (s : 'Vec 4 'Float) -> a 4 3 'Float (M43F q r s)) -> ((t : 'Vec 2 'Float) -> (u : 'Vec 2 'Float) -> (v : 'Vec 2 'Float) -> (w : 'Vec 2 'Float) -> a 2 4 'Float (M24F t u v w)) -> ((x : 'Vec 3 'Float) -> (y : 'Vec 3 'Float) -> (z : 'Vec 3 'Float) -> (a' : 'Vec 3 'Float) -> a 3 4 'Float (M34F x y z a')) -> ((b' : 'Vec 4 'Float) -> (c' : 'Vec 4 'Float) -> (d' : 'Vec 4 'Float) -> (e' : 'Vec 4 'Float) -> a 4 4 'Float (M44F b' c' d' e')) -> {f':'Nat} -> {g':'Nat} -> {h'} -> (i' : 'Mat f' g' h') -> a f' g' h' i'
-match'Mat :: (a : Type->Type) -> ((b:'Nat) -> (c:'Nat) -> (d:Type) -> a ('Mat b c d)) -> (e:Type) -> a e -> a e
-'MatVecScalarElem :: Type->Type
-'Signed :: Type->Type
-'Component :: Type->Type
-zero :: {a} -> {_ : 'Component a}->a
-one :: {a} -> {_ : 'Component a}->a
-'Integral :: Type->Type
-'Floating :: Type->Type
-PrimAdd :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
-PrimSub :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
-PrimMul :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
-PrimAddS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
-PrimSubS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
-PrimMulS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
-PrimDiv :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimMod :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimDivS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimModS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimNeg :: {a} -> {_ : 'Signed ('MatVecScalarElem a)} -> a->a
-PrimBAnd :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimBOr :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimBXor :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimBAndS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimBOrS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimBXorS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimBNot :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b->b
-PrimBShiftL :: {a} -> {b} -> {c:'Nat} -> {d} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> {_ : d ~ 'VecScalar c 'Word} -> b -> d->b
-PrimBShiftR :: {a} -> {b} -> {c:'Nat} -> {d} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> {_ : d ~ 'VecScalar c 'Word} -> b -> d->b
-PrimBShiftLS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> 'Word->b
-PrimBShiftRS :: {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 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Bool} -> a->a
-PrimAny :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
-PrimAll :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
-PrimACos :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimACosH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimASin :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimASinH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimATan :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimATanH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimCos :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimCosH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimDegrees :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimRadians :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimSin :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimSinH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimTan :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimTanH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimExp :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimLog :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimExp2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimLog2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimSqrt :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimInvSqrt :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimPow :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
-PrimATan2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
-PrimFloor :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimTrunc :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimRound :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimRoundEven :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimCeil :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimFract :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimMin :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimMax :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
-PrimMinS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimMaxS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
-PrimIsNan :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a->c
-PrimIsInf :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a->c
-PrimAbs :: {a} -> {b} -> {c:'Nat} -> {_ : 'Signed a} -> {_ : b ~ 'VecScalar c a} -> b->b
-PrimSign :: {a} -> {b} -> {c:'Nat} -> {_ : 'Signed a} -> {_ : b ~ 'VecScalar c a} -> b->b
-PrimModF :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->(a, a)
-PrimClamp :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b -> b->b
-PrimClampS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a -> a->b
-PrimMix :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
-PrimMixS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a
-PrimMixB :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a
-PrimStep :: {a} -> {b:'Nat} -> {_ : a ~ 'VecS 'Float b} -> a -> a->a
-PrimStepS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> 'Float -> a->a
-PrimSmoothStep :: {a} -> {b:'Nat} -> {_ : a ~ 'VecS 'Float b} -> a -> a -> a->a
-PrimSmoothStepS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a
-PrimFloatBitsToInt :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int
-PrimFloatBitsToUInt :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word
-PrimIntBitsToFloat :: {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float
-PrimUIntBitsToFloat :: {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float
-PrimLength :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->'Float
-PrimDistance :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->'Float
-PrimDot :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->'Float
-PrimCross :: {a} -> {_ : a ~ 'VecS 'Float 3} -> a -> a->a
-PrimNormalize :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimFaceForward :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
-PrimRefract :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
-PrimReflect :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
-PrimTranspose :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c
-PrimDeterminant :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Float
-PrimInverse :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b
-PrimOuterProduct :: {a:'Nat} -> {b} -> {c:'Nat} -> 'Vec a b -> 'Vec c b -> 'Mat c a b
-PrimMulMatVec :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Vec b c -> 'Vec a c
-PrimMulVecMat :: {a:'Nat} -> {b} -> {c:'Nat} -> 'Vec a b -> 'Mat a c b -> 'Vec c b
-PrimMulMatMat :: {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c
-PrimLessThan :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimLessThanEqual :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimGreaterThan :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimGreaterThanEqual :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimEqualV :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimNotEqualV :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
-PrimEqual :: {a} -> {b} -> {_ : b ~ 'MatVecScalarElem a} -> a -> a->'Bool
-PrimNotEqual :: {a} -> {b} -> {_ : b ~ 'MatVecScalarElem a} -> a -> a->'Bool
-PrimDFdx :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimDFdy :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimFWidth :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
-PrimNoise1 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Float
-PrimNoise2 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 2 'Float
-PrimNoise3 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 3 'Float
-PrimNoise4 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 4 'Float
-head :: {a} -> 'List a -> a
-++ :: {a} -> 'List a -> 'List a -> 'List a
-foldr :: {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
-concat :: {a} -> 'List ('List a) -> 'List a
-map :: {a} -> {b} -> (a->b) -> 'List a -> 'List b
-concatMap :: {a} -> {b} -> (a -> 'List b) -> 'List a -> 'List b
-len :: {a} -> 'List a -> 'Int
-'Maybe :: Type->Type
-Nothing :: {a} -> 'Maybe a
-Just :: {a} -> a -> 'Maybe a
-'MaybeCase :: {a} -> (b : 'Maybe a -> Type) -> b Nothing -> ((c:a) -> b (Just c)) -> (d : 'Maybe a) -> b d
-match'Maybe :: (a : Type->Type) -> ((b:Type) -> a ('Maybe b)) -> (c:Type) -> a c -> a c
-'Vector :: 'Nat -> Type->Type
-'VectorCase :: {a:'Nat} -> {b} -> (c : 'Vector a b -> Type) -> (d : 'Vector a b) -> c d
-match'Vector :: (a : Type->Type) -> ((b:'Nat) -> (c:Type) -> a ('Vector b c)) -> (d:Type) -> a d -> a d
-'PrimitiveType :: Type
-Triangle :: 'PrimitiveType
-Line :: 'PrimitiveType
-Point :: 'PrimitiveType
-TriangleAdjacency :: 'PrimitiveType
-LineAdjacency :: 'PrimitiveType
-'PrimitiveTypeCase :: (a : 'PrimitiveType->Type) -> a Triangle -> a Line -> a Point -> a TriangleAdjacency -> a LineAdjacency -> (b:'PrimitiveType) -> a b
-match'PrimitiveType :: (a : Type->Type) -> a 'PrimitiveType -> (b:Type) -> a b -> a b
-'Primitive :: Type -> 'PrimitiveType->Type
-PrimPoint :: {a} -> a -> 'Primitive a Point
-PrimLine :: {a} -> a -> a -> 'Primitive a Line
-PrimTriangle :: {a} -> a -> a -> a -> 'Primitive a Triangle
-'PrimitiveCase :: {a} -> (b : (c:'PrimitiveType) -> 'Primitive a c -> Type) -> ((d:a) -> b Point (PrimPoint d)) -> ((e:a) -> (f:a) -> b Line (PrimLine e f)) -> ((g:a) -> (h:a) -> (i:a) -> b Triangle (PrimTriangle g h i)) -> {j:'PrimitiveType} -> (k : 'Primitive a j) -> b j k
-match'Primitive :: (a : Type->Type) -> ((b:Type) -> (c:'PrimitiveType) -> a ('Primitive b c)) -> (d:Type) -> a d -> a d
-mapPrimitive :: {a} -> {b} -> {c:'PrimitiveType} -> (a->b) -> 'Primitive a c -> 'Primitive b c
-'PrimitiveStream :: 'PrimitiveType -> Type->Type
-mapPrimitives :: {a} -> {b} -> {c:'PrimitiveType} -> (a->b) -> 'List ('Primitive a c) -> 'List ('Primitive b c)
-'ListElem :: Type->Type
-fetchArrays :: {a:'PrimitiveType} -> {b : 'List Type} -> {c : 'List Type} -> {_ : b ~ map Type Type 'ListElem c} -> 'HList c -> 'PrimitiveStream a ('HList b)
-fetch :: {a:'PrimitiveType} -> {b : 'List Type} -> 'String -> 'HList b -> 'PrimitiveStream a ('HList b)
-Attribute :: {a} -> 'String->a
-fetchStream :: {a:'PrimitiveType} -> {b : 'List Type} -> 'String -> (c : 'List 'String) -> {_ : len 'String c ~ len Type b} -> 'PrimitiveStream a ('HList b)
-'SimpleFragment :: Type->Type
-SimpleFragment :: {a} -> 'Vec 3 'Float -> a -> 'SimpleFragment a
-'SimpleFragmentCase :: {a} -> (b : 'SimpleFragment a -> Type) -> ((c : 'Vec 3 'Float) -> (d:a) -> b (SimpleFragment c d)) -> (e : 'SimpleFragment a) -> b e
-match'SimpleFragment :: (a : Type->Type) -> ((b:Type) -> a ('SimpleFragment b)) -> (c:Type) -> a c -> a c
-'Fragment :: 'Nat -> Type->Type
-sFragmentCoords :: {a} -> 'SimpleFragment a -> 'VecS 'Float 3
-sFragmentValue :: {a} -> 'SimpleFragment a -> a
-'FragmentStream :: 'Nat -> Type->Type
-customizeDepth :: {a} -> {b:'Nat} -> (a->'Float) -> 'Fragment b a -> 'Fragment b a
-customizeDepths :: {a} -> {b:'Nat} -> (a->'Float) -> 'List ('Vector b ('Maybe ('SimpleFragment a))) -> 'List ('Vector b ('Maybe ('SimpleFragment a)))
-filterFragment :: {a} -> {b:'Nat} -> (a->'Bool) -> 'Fragment b a -> 'Fragment b a
-filterFragments :: {a} -> {b:'Nat} -> (a->'Bool) -> 'List ('Vector b ('Maybe ('SimpleFragment a))) -> 'List ('Vector b ('Maybe ('SimpleFragment a)))
-mapFragment :: {a} -> {b} -> {c:'Nat} -> (a->b) -> 'Fragment c a -> 'Fragment c b
-mapFragments :: {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 :: (a : 'ImageKind->Type) -> ((b:Type) -> a (Color b)) -> a Depth -> a Stencil -> (c:'ImageKind) -> a c
-match'ImageKind :: (a : Type->Type) -> a 'ImageKind -> (b:Type) -> a b -> a b
-imageType :: 'ImageKind->Type
-'Image :: 'Nat -> 'ImageKind->Type
-'ImageCase :: {a:'Nat} -> {b:'ImageKind} -> (c : 'Image a b -> Type) -> (d : 'Image a b) -> c d
-match'Image :: (a : Type->Type) -> ((b:'Nat) -> (c:'ImageKind) -> a ('Image b c)) -> (d:Type) -> a d -> a d
-ColorImage :: {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : d ~ 'VecScalar b c} -> d -> 'Image a (Color d)
-DepthImage :: {a:'Nat} -> 'Float -> 'Image a Depth
-StencilImage :: {a:'Nat} -> 'Int -> 'Image a Stencil
-emptyDepthImage :: 'Float -> 'Image 1 Depth
-emptyColorImage :: {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 :: (a : 'Swizz->Type) -> a Sx -> a Sy -> a Sz -> a Sw -> (b:'Swizz) -> a b
-match'Swizz :: (a : Type->Type) -> a 'Swizz -> (b:Type) -> a b -> a b
-swizzscalar :: {a} -> {b:'Nat} -> 'Vec b a -> 'Swizz->a
-definedVec :: {a} -> {b:'Nat} -> 'Vec b a -> 'Bool
-swizzvector :: {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 :: (a : 'BlendingFactor->Type) -> a ZeroBF -> a OneBF -> a SrcColor -> a OneMinusSrcColor -> a DstColor -> a OneMinusDstColor -> a SrcAlpha -> a OneMinusSrcAlpha -> a DstAlpha -> a OneMinusDstAlpha -> a ConstantColor -> a OneMinusConstantColor -> a ConstantAlpha -> a OneMinusConstantAlpha -> a SrcAlphaSaturate -> (b:'BlendingFactor) -> a b
-match'BlendingFactor :: (a : Type->Type) -> a 'BlendingFactor -> (b:Type) -> a b -> a b
-'BlendEquation :: Type
-FuncAdd :: 'BlendEquation
-FuncSubtract :: 'BlendEquation
-FuncReverseSubtract :: 'BlendEquation
-Min :: 'BlendEquation
-Max :: 'BlendEquation
-'BlendEquationCase :: (a : 'BlendEquation->Type) -> a FuncAdd -> a FuncSubtract -> a FuncReverseSubtract -> a Min -> a Max -> (b:'BlendEquation) -> a b
-match'BlendEquation :: (a : Type->Type) -> a 'BlendEquation -> (b:Type) -> a b -> a b
-'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 :: (a : 'LogicOperation->Type) -> a Clear -> a And -> a AndReverse -> a Copy -> a AndInverted -> a Noop -> a Xor -> a Or -> a Nor -> a Equiv -> a Invert -> a OrReverse -> a CopyInverted -> a OrInverted -> a Nand -> a Set -> (b:'LogicOperation) -> a b
-match'LogicOperation :: (a : Type->Type) -> a 'LogicOperation -> (b:Type) -> a b -> a b
-'StencilOperation :: Type
-OpZero :: 'StencilOperation
-OpKeep :: 'StencilOperation
-OpReplace :: 'StencilOperation
-OpIncr :: 'StencilOperation
-OpIncrWrap :: 'StencilOperation
-OpDecr :: 'StencilOperation
-OpDecrWrap :: 'StencilOperation
-OpInvert :: 'StencilOperation
-'StencilOperationCase :: (a : 'StencilOperation->Type) -> a OpZero -> a OpKeep -> a OpReplace -> a OpIncr -> a OpIncrWrap -> a OpDecr -> a OpDecrWrap -> a OpInvert -> (b:'StencilOperation) -> a b
-match'StencilOperation :: (a : Type->Type) -> a 'StencilOperation -> (b:Type) -> a b -> a b
-'ComparisonFunction :: Type
-Never :: 'ComparisonFunction
-Less :: 'ComparisonFunction
-Equal :: 'ComparisonFunction
-Lequal :: 'ComparisonFunction
-Greater :: 'ComparisonFunction
-Notequal :: 'ComparisonFunction
-Gequal :: 'ComparisonFunction
-Always :: 'ComparisonFunction
-'ComparisonFunctionCase :: (a : 'ComparisonFunction->Type) -> a Never -> a Less -> a Equal -> a Lequal -> a Greater -> a Notequal -> a Gequal -> a Always -> (b:'ComparisonFunction) -> a b
-match'ComparisonFunction :: (a : Type->Type) -> a 'ComparisonFunction -> (b:Type) -> a b -> a b
-'ProvokingVertex :: Type
-LastVertex :: 'ProvokingVertex
-FirstVertex :: 'ProvokingVertex
-'ProvokingVertexCase :: (a : 'ProvokingVertex->Type) -> a LastVertex -> a FirstVertex -> (b:'ProvokingVertex) -> a b
-match'ProvokingVertex :: (a : Type->Type) -> a 'ProvokingVertex -> (b:Type) -> a b -> a b
-'CullMode :: Type
-CullFront :: 'CullMode
-CullBack :: 'CullMode
-CullNone :: 'CullMode
-'CullModeCase :: (a : 'CullMode->Type) -> a CullFront -> a CullBack -> a CullNone -> (b:'CullMode) -> a b
-match'CullMode :: (a : Type->Type) -> a 'CullMode -> (b:Type) -> a b -> a b
-'PointSize :: Type->Type
-PointSize :: {a} -> 'Float -> 'PointSize a
-ProgramPointSize :: {a} -> (a->'Float) -> 'PointSize a
-'PointSizeCase :: {a} -> (b : 'PointSize a -> Type) -> ((c:'Float) -> b (PointSize c)) -> ((d : a->'Float) -> b (ProgramPointSize d)) -> (e : 'PointSize a) -> b e
-match'PointSize :: (a : Type->Type) -> ((b:Type) -> a ('PointSize b)) -> (c:Type) -> a c -> a c
-'PolygonMode :: Type->Type
-PolygonFill :: {a} -> 'PolygonMode a
-PolygonPoint :: {a} -> 'PointSize a -> 'PolygonMode a
-PolygonLine :: {a} -> 'Float -> 'PolygonMode a
-'PolygonModeCase :: {a} -> (b : 'PolygonMode a -> Type) -> b PolygonFill -> ((c : 'PointSize a) -> b (PolygonPoint c)) -> ((d:'Float) -> b (PolygonLine d)) -> (e : 'PolygonMode a) -> b e
-match'PolygonMode :: (a : Type->Type) -> ((b:Type) -> a ('PolygonMode b)) -> (c:Type) -> a c -> a c
-'PolygonOffset :: Type
-NoOffset :: 'PolygonOffset
-Offset :: 'Float -> 'Float->'PolygonOffset
-'PolygonOffsetCase :: (a : 'PolygonOffset->Type) -> a NoOffset -> ((b:'Float) -> (c:'Float) -> a (Offset b c)) -> (d:'PolygonOffset) -> a d
-match'PolygonOffset :: (a : Type->Type) -> a 'PolygonOffset -> (b:Type) -> a b -> a b
-'PointSpriteCoordOrigin :: Type
-LowerLeft :: 'PointSpriteCoordOrigin
-UpperLeft :: 'PointSpriteCoordOrigin
-'PointSpriteCoordOriginCase :: (a : 'PointSpriteCoordOrigin->Type) -> a LowerLeft -> a UpperLeft -> (b:'PointSpriteCoordOrigin) -> a b
-match'PointSpriteCoordOrigin :: (a : Type->Type) -> a 'PointSpriteCoordOrigin -> (b:Type) -> a b -> a b
-primTexture :: () -> 'Vec 2 'Float -> 'Vec 4 'Float
-Uniform :: {a} -> 'String->a
-'RasterContext :: Type -> 'PrimitiveType->Type
-TriangleCtx :: {a} -> 'CullMode -> 'PolygonMode a -> 'PolygonOffset -> 'ProvokingVertex -> 'RasterContext a Triangle
-PointCtx :: {a} -> 'PointSize a -> 'Float -> 'PointSpriteCoordOrigin -> 'RasterContext a Point
-LineCtx :: {a} -> 'Float -> 'ProvokingVertex -> 'RasterContext a Line
-'RasterContextCase :: {a} -> (b : (c:'PrimitiveType) -> 'RasterContext a c -> Type) -> ((d:'CullMode) -> (e : 'PolygonMode a) -> (f:'PolygonOffset) -> (g:'ProvokingVertex) -> b Triangle (TriangleCtx d e f g)) -> ((h : 'PointSize a) -> (i:'Float) -> (j:'PointSpriteCoordOrigin) -> b Point (PointCtx h i j)) -> ((k:'Float) -> (l:'ProvokingVertex) -> b Line (LineCtx k l)) -> {m:'PrimitiveType} -> (n : 'RasterContext a m) -> b m n
-match'RasterContext :: (a : Type->Type) -> ((b:Type) -> (c:'PrimitiveType) -> a ('RasterContext b c)) -> (d:Type) -> a d -> a d
-'Blending :: Type->Type
-NoBlending :: {a} -> 'Blending a
-BlendLogicOp :: {a} -> {_ : 'Integral a} -> 'LogicOperation -> 'Blending a
-Blend :: ('BlendEquation, 'BlendEquation) -> (('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor)) -> 'Vec 4 'Float -> 'Blending 'Float
-'BlendingCase :: (a : (b:Type) -> 'Blending b -> Type) -> ({c} -> a c (NoBlending c)) -> ({d} -> {e : 'Integral d} -> (f:'LogicOperation) -> a d (BlendLogicOp d e f)) -> ((g:('BlendEquation, 'BlendEquation)) -> (h:(('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor))) -> (i : 'Vec 4 'Float) -> a 'Float (Blend g h i)) -> {j} -> (k : 'Blending j) -> a j k
-match'Blending :: (a : Type->Type) -> ((b:Type) -> a ('Blending b)) -> (c:Type) -> a c -> a c
-'StencilTests :: Type
-'StencilTestsCase :: (a : 'StencilTests->Type) -> (b:'StencilTests) -> a b
-match'StencilTests :: (a : Type->Type) -> a 'StencilTests -> (b:Type) -> a b -> a b
-'StencilOps :: Type
-'StencilOpsCase :: (a : 'StencilOps->Type) -> (b:'StencilOps) -> a b
-match'StencilOps :: (a : Type->Type) -> a 'StencilOps -> (b:Type) -> a b -> a b
-'FragmentOperation :: 'ImageKind->Type
-ColorOp :: {a} -> {b:'Nat} -> {_ : 'Num a} -> 'Blending a -> 'VecScalar b 'Bool -> 'FragmentOperation (Color ('VecScalar b a))
-DepthOp :: 'ComparisonFunction -> 'Bool -> 'FragmentOperation Depth
-StencilOp :: 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation Stencil
-'FragmentOperationCase :: (a : (b:'ImageKind) -> 'FragmentOperation b -> Type) -> ({c} -> {d:'Nat} -> {e : 'Num c} -> (f : 'Blending c) -> (g : 'VecScalar d 'Bool) -> a (Color ('VecScalar d c)) (ColorOp c d e f g)) -> ((h:'ComparisonFunction) -> (i:'Bool) -> a Depth (DepthOp h i)) -> ((j:'StencilTests) -> (k:'StencilOps) -> (l:'StencilOps) -> a Stencil (StencilOp j k l)) -> {m:'ImageKind} -> (n : 'FragmentOperation m) -> a m n
-match'FragmentOperation :: (a : Type->Type) -> ((b:'ImageKind) -> a ('FragmentOperation b)) -> (c:Type) -> a c -> a c
-'Interpolated :: Type->Type
-Smooth :: {a} -> {_ : 'Floating a} -> 'Interpolated a
-NoPerspective :: {a} -> {_ : 'Floating a} -> 'Interpolated a
-Flat :: {a} -> 'Interpolated a
-'InterpolatedCase :: {a} -> (b : 'Interpolated a -> Type) -> ({c : 'Floating a} -> b (Smooth c)) -> ({d : 'Floating a} -> b (NoPerspective d)) -> b Flat -> (e : 'Interpolated a) -> b e
-match'Interpolated :: (a : Type->Type) -> ((b:Type) -> a ('Interpolated b)) -> (c:Type) -> a c -> a c
-rasterizePrimitive :: {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 :: {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 :: {a} -> 'List a -> Type
-sameLayerCounts :: 'List Type -> Type
-'FrameBuffer :: 'Nat -> 'List 'ImageKind -> Type
-'FrameBufferCase :: {a:'Nat} -> {b : 'List 'ImageKind} -> (c : 'FrameBuffer a b -> Type) -> (d : 'FrameBuffer a b) -> c d
-match'FrameBuffer :: (a : Type->Type) -> ((b:'Nat) -> (c : 'List 'ImageKind) -> a ('FrameBuffer b c)) -> (d:Type) -> a d -> a d
-imageType' :: 'List 'ImageKind -> 'List Type
-'FragmentOperationKind :: Type->'ImageKind
-Accumulate :: {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 :: {a} -> {b} -> a -> b->(a, b)
-overlay :: {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 :: {a : 'List Type} -> {_ : sameLayerCounts a} -> 'HList a -> 'FrameBuffer ('ImageLC (head Type a)) (map Type 'ImageKind 'GetImageKind a)
-imageFrame :: {a : 'List Type} -> {_ : sameLayerCounts a} -> 'HList a -> 'FrameBuffer ('ImageLC (head Type a)) (map Type 'ImageKind 'GetImageKind a)
-accumulate :: {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 :: {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 :: {a:'Nat} -> {b : 'List 'ImageKind} -> 'FrameBuffer a b -> 'Output
-'OutputCase :: (a : 'Output->Type) -> ({b:'Nat} -> {c : 'List 'ImageKind} -> (d : 'FrameBuffer b c) -> a (ScreenOut b c d)) -> (e:'Output) -> a e
-match'Output :: (a : Type->Type) -> a 'Output -> (b:Type) -> a b -> a b
-renderFrame :: {a:'Nat} -> {b : 'List 'ImageKind} -> 'FrameBuffer a b -> 'Output
-'Texture :: Type
-Texture2DSlot :: 'String->'Texture
-Texture2D :: 'Vec 2 'Int -> 'Image 1 (Color ('Vec 4 'Float)) -> 'Texture
-'TextureCase :: (a : 'Texture->Type) -> ((b:'String) -> a (Texture2DSlot b)) -> ((c : 'Vec 2 'Int) -> (d : 'Image 1 (Color ('Vec 4 'Float))) -> a (Texture2D c d)) -> (e:'Texture) -> a e
-match'Texture :: (a : Type->Type) -> a 'Texture -> (b:Type) -> a b -> a b
-'Filter :: Type
-PointFilter :: 'Filter
-LinearFilter :: 'Filter
-'FilterCase :: (a : 'Filter->Type) -> a PointFilter -> a LinearFilter -> (b:'Filter) -> a b
-match'Filter :: (a : Type->Type) -> a 'Filter -> (b:Type) -> a b -> a b
-'EdgeMode :: Type
-Repeat :: 'EdgeMode
-MirroredRepeat :: 'EdgeMode
-ClampToEdge :: 'EdgeMode
-'EdgeModeCase :: (a : 'EdgeMode->Type) -> a Repeat -> a MirroredRepeat -> a ClampToEdge -> (b:'EdgeMode) -> a b
-match'EdgeMode :: (a : Type->Type) -> a 'EdgeMode -> (b:Type) -> a b -> a b
-'Sampler :: Type
-Sampler :: 'Filter -> 'EdgeMode -> 'Texture->'Sampler
-'SamplerCase :: (a : 'Sampler->Type) -> ((b:'Filter) -> (c:'EdgeMode) -> (d:'Texture) -> a (Sampler b c d)) -> (e:'Sampler) -> a e
-match'Sampler :: (a : Type->Type) -> a 'Sampler -> (b:Type) -> a b -> a b
-texture2D :: 'Sampler -> 'Vec 2 'Float -> 'Vec 4 'Float
-accumulationContext :: {a} -> a->a
+id :: {a} -> a->a
+'VecS :: Type -> 'Nat->Type
+V2 :: {a} -> a -> a -> 'VecS a 2
+V3 :: {a} -> a -> a -> a -> 'VecS a 3
+V4 :: {a} -> a -> a -> a -> a -> 'VecS a 4
+'VecSCase :: {a} -> (b : (c:'Nat) -> 'VecS a c -> Type) -> ((d:a) -> (e:a) -> b 2 (V2 d e)) -> ((f:a) -> (g:a) -> (h:a) -> b 3 (V3 f g h)) -> ((i:a) -> (j:a) -> (k:a) -> (l:a) -> b 4 (V4 i j k l)) -> {m:'Nat} -> (n : 'VecS a m) -> b m n
+match'VecS :: (a : Type->Type) -> ((b:Type) -> (c:'Nat) -> a ('VecS b c)) -> (d:Type) -> a d -> a d
+mapVec :: {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 :: (a : (b:'Nat) -> (c:'Nat) -> (d:Type) -> 'Mat b c d -> Type) -> ((e : 'Vec 2 'Float) -> (f : 'Vec 2 'Float) -> a 2 2 'Float (M22F e f)) -> ((g : 'Vec 3 'Float) -> (h : 'Vec 3 'Float) -> a 3 2 'Float (M32F g h)) -> ((i : 'Vec 4 'Float) -> (j : 'Vec 4 'Float) -> a 4 2 'Float (M42F i j)) -> ((k : 'Vec 2 'Float) -> (l : 'Vec 2 'Float) -> (m : 'Vec 2 'Float) -> a 2 3 'Float (M23F k l m)) -> ((n : 'Vec 3 'Float) -> (o : 'Vec 3 'Float) -> (p : 'Vec 3 'Float) -> a 3 3 'Float (M33F n o p)) -> ((q : 'Vec 4 'Float) -> (r : 'Vec 4 'Float) -> (s : 'Vec 4 'Float) -> a 4 3 'Float (M43F q r s)) -> ((t : 'Vec 2 'Float) -> (u : 'Vec 2 'Float) -> (v : 'Vec 2 'Float) -> (w : 'Vec 2 'Float) -> a 2 4 'Float (M24F t u v w)) -> ((x : 'Vec 3 'Float) -> (y : 'Vec 3 'Float) -> (z : 'Vec 3 'Float) -> (a' : 'Vec 3 'Float) -> a 3 4 'Float (M34F x y z a')) -> ((b' : 'Vec 4 'Float) -> (c' : 'Vec 4 'Float) -> (d' : 'Vec 4 'Float) -> (e' : 'Vec 4 'Float) -> a 4 4 'Float (M44F b' c' d' e')) -> {f':'Nat} -> {g':'Nat} -> {h'} -> (i' : 'Mat f' g' h') -> a f' g' h' i'
+match'Mat :: (a : Type->Type) -> ((b:'Nat) -> (c:'Nat) -> (d:Type) -> a ('Mat b c d)) -> (e:Type) -> a e -> a e
+'MatVecScalarElem :: Type->Type
+'Signed :: Type->Type
+'Component :: Type->Type
+zero :: {a} -> {_ : 'Component a}->a
+one :: {a} -> {_ : 'Component a}->a
+'Integral :: Type->Type
+'Floating :: Type->Type
+PrimAdd :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
+PrimSub :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
+PrimMul :: {a} -> {_ : 'Num ('MatVecScalarElem a)} -> a -> a->a
+PrimAddS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
+PrimSubS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
+PrimMulS :: {a} -> {b} -> {_ : a ~ 'MatVecScalarElem b} -> {_ : 'Num a} -> b -> a->b
+PrimDiv :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimMod :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimDivS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimModS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimNeg :: {a} -> {_ : 'Signed ('MatVecScalarElem a)} -> a->a
+PrimBAnd :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimBOr :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimBXor :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimBAndS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimBOrS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimBXorS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimBNot :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b->b
+PrimBShiftL :: {a} -> {b} -> {c:'Nat} -> {d} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> {_ : d ~ 'VecScalar c 'Word} -> b -> d->b
+PrimBShiftR :: {a} -> {b} -> {c:'Nat} -> {d} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> {_ : d ~ 'VecScalar c 'Word} -> b -> d->b
+PrimBShiftLS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Integral a} -> {_ : b ~ 'VecScalar c a} -> b -> 'Word->b
+PrimBShiftRS :: {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 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Bool} -> a->a
+PrimAny :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
+PrimAll :: {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
+PrimACos :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimACosH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimASin :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimASinH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimATan :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimATanH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimCos :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimCosH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimDegrees :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimRadians :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimSin :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimSinH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimTan :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimTanH :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimExp :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimLog :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimExp2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimLog2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimSqrt :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimInvSqrt :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimPow :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
+PrimATan2 :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
+PrimFloor :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimTrunc :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimRound :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimRoundEven :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimCeil :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimFract :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimMin :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimMax :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b->b
+PrimMinS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimMaxS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a->b
+PrimIsNan :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a->c
+PrimIsInf :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a->c
+PrimAbs :: {a} -> {b} -> {c:'Nat} -> {_ : 'Signed a} -> {_ : b ~ 'VecScalar c a} -> b->b
+PrimSign :: {a} -> {b} -> {c:'Nat} -> {_ : 'Signed a} -> {_ : b ~ 'VecScalar c a} -> b->b
+PrimModF :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->(a, a)
+PrimClamp :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> b -> b->b
+PrimClampS :: {a} -> {b} -> {c:'Nat} -> {_ : 'Num a} -> {_ : b ~ 'VecScalar c a} -> b -> a -> a->b
+PrimMix :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+PrimMixS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a
+PrimMixB :: {a} -> {b:'Nat} -> {c} -> {_ : a ~ 'VecScalar b 'Float} -> {_ : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a
+PrimStep :: {a} -> {b:'Nat} -> {_ : a ~ 'VecS 'Float b} -> a -> a->a
+PrimStepS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> 'Float -> a->a
+PrimSmoothStep :: {a} -> {b:'Nat} -> {_ : a ~ 'VecS 'Float b} -> a -> a -> a->a
+PrimSmoothStepS :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a
+PrimFloatBitsToInt :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int
+PrimFloatBitsToUInt :: {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word
+PrimIntBitsToFloat :: {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float
+PrimUIntBitsToFloat :: {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float
+PrimLength :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->'Float
+PrimDistance :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->'Float
+PrimDot :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->'Float
+PrimCross :: {a} -> {_ : a ~ 'VecS 'Float 3} -> a -> a->a
+PrimNormalize :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimFaceForward :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+PrimRefract :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
+PrimReflect :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a -> a->a
+PrimTranspose :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c
+PrimDeterminant :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Float
+PrimInverse :: {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b
+PrimOuterProduct :: {a:'Nat} -> {b} -> {c:'Nat} -> 'Vec a b -> 'Vec c b -> 'Mat c a b
+PrimMulMatVec :: {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Vec b c -> 'Vec a c
+PrimMulVecMat :: {a:'Nat} -> {b} -> {c:'Nat} -> 'Vec a b -> 'Mat a c b -> 'Vec c b
+PrimMulMatMat :: {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c
+PrimLessThan :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimLessThanEqual :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimGreaterThan :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimGreaterThanEqual :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimEqualV :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimNotEqualV :: {a} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : a ~ 'VecScalar b c} -> {_ : d ~ 'VecScalar b 'Bool} -> a -> a->d
+PrimEqual :: {a} -> {b} -> {_ : b ~ 'MatVecScalarElem a} -> a -> a->'Bool
+PrimNotEqual :: {a} -> {b} -> {_ : b ~ 'MatVecScalarElem a} -> a -> a->'Bool
+PrimDFdx :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimDFdy :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimFWidth :: {a} -> {b:'Nat} -> {_ : a ~ 'VecScalar b 'Float} -> a->a
+PrimNoise1 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Float
+PrimNoise2 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 2 'Float
+PrimNoise3 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 3 'Float
+PrimNoise4 :: {a:'Nat} -> 'VecScalar a 'Float -> 'Vec 4 'Float
+head :: {a} -> 'List a -> a
+++ :: {a} -> 'List a -> 'List a -> 'List a
+foldr :: {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
+concat :: {a} -> 'List ('List a) -> 'List a
+map :: {a} -> {b} -> (a->b) -> 'List a -> 'List b
+concatMap :: {a} -> {b} -> (a -> 'List b) -> 'List a -> 'List b
+len :: {a} -> 'List a -> 'Int
+'Maybe :: Type->Type
+Nothing :: {a} -> 'Maybe a
+Just :: {a} -> a -> 'Maybe a
+'MaybeCase :: {a} -> (b : 'Maybe a -> Type) -> b Nothing -> ((c:a) -> b (Just c)) -> (d : 'Maybe a) -> b d
+match'Maybe :: (a : Type->Type) -> ((b:Type) -> a ('Maybe b)) -> (c:Type) -> a c -> a c
+'Vector :: 'Nat -> Type->Type
+'VectorCase :: {a:'Nat} -> {b} -> (c : 'Vector a b -> Type) -> (d : 'Vector a b) -> c d
+match'Vector :: (a : Type->Type) -> ((b:'Nat) -> (c:Type) -> a ('Vector b c)) -> (d:Type) -> a d -> a d
+'PrimitiveType :: Type
+Triangle :: 'PrimitiveType
+Line :: 'PrimitiveType
+Point :: 'PrimitiveType
+TriangleAdjacency :: 'PrimitiveType
+LineAdjacency :: 'PrimitiveType
+'PrimitiveTypeCase :: (a : 'PrimitiveType->Type) -> a Triangle -> a Line -> a Point -> a TriangleAdjacency -> a LineAdjacency -> (b:'PrimitiveType) -> a b
+match'PrimitiveType :: (a : Type->Type) -> a 'PrimitiveType -> (b:Type) -> a b -> a b
+'Primitive :: Type -> 'PrimitiveType->Type
+PrimPoint :: {a} -> a -> 'Primitive a Point
+PrimLine :: {a} -> a -> a -> 'Primitive a Line
+PrimTriangle :: {a} -> a -> a -> a -> 'Primitive a Triangle
+'PrimitiveCase :: {a} -> (b : (c:'PrimitiveType) -> 'Primitive a c -> Type) -> ((d:a) -> b Point (PrimPoint d)) -> ((e:a) -> (f:a) -> b Line (PrimLine e f)) -> ((g:a) -> (h:a) -> (i:a) -> b Triangle (PrimTriangle g h i)) -> {j:'PrimitiveType} -> (k : 'Primitive a j) -> b j k
+match'Primitive :: (a : Type->Type) -> ((b:Type) -> (c:'PrimitiveType) -> a ('Primitive b c)) -> (d:Type) -> a d -> a d
+mapPrimitive :: {a} -> {b} -> {c:'PrimitiveType} -> (a->b) -> 'Primitive a c -> 'Primitive b c
+'PrimitiveStream :: 'PrimitiveType -> Type->Type
+mapPrimitives :: {a} -> {b} -> {c:'PrimitiveType} -> (a->b) -> 'List ('Primitive a c) -> 'List ('Primitive b c)
+'ListElem :: Type->Type
+fetchArrays :: {a:'PrimitiveType} -> {b : 'List Type} -> {c : 'List Type} -> {_ : b ~ map Type Type 'ListElem c} -> 'HList c -> 'PrimitiveStream a ('HList b)
+fetch :: {a:'PrimitiveType} -> {b : 'List Type} -> 'String -> 'HList b -> 'PrimitiveStream a ('HList b)
+Attribute :: {a} -> 'String->a
+fetchStream :: {a:'PrimitiveType} -> {b : 'List Type} -> 'String -> (c : 'List 'String) -> {_ : len 'String c ~ len Type b} -> 'PrimitiveStream a ('HList b)
+'SimpleFragment :: Type->Type
+SimpleFragment :: {a} -> 'Vec 3 'Float -> a -> 'SimpleFragment a
+'SimpleFragmentCase :: {a} -> (b : 'SimpleFragment a -> Type) -> ((c : 'Vec 3 'Float) -> (d:a) -> b (SimpleFragment c d)) -> (e : 'SimpleFragment a) -> b e
+match'SimpleFragment :: (a : Type->Type) -> ((b:Type) -> a ('SimpleFragment b)) -> (c:Type) -> a c -> a c
+'Fragment :: 'Nat -> Type->Type
+sFragmentCoords :: {a} -> 'SimpleFragment a -> 'VecS 'Float 3
+sFragmentValue :: {a} -> 'SimpleFragment a -> a
+'FragmentStream :: 'Nat -> Type->Type
+customizeDepth :: {a} -> {b:'Nat} -> (a->'Float) -> 'Fragment b a -> 'Fragment b a
+customizeDepths :: {a} -> {b:'Nat} -> (a->'Float) -> 'List ('Vector b ('Maybe ('SimpleFragment a))) -> 'List ('Vector b ('Maybe ('SimpleFragment a)))
+filterFragment :: {a} -> {b:'Nat} -> (a->'Bool) -> 'Fragment b a -> 'Fragment b a
+filterFragments :: {a} -> {b:'Nat} -> (a->'Bool) -> 'List ('Vector b ('Maybe ('SimpleFragment a))) -> 'List ('Vector b ('Maybe ('SimpleFragment a)))
+mapFragment :: {a} -> {b} -> {c:'Nat} -> (a->b) -> 'Fragment c a -> 'Fragment c b
+mapFragments :: {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 :: (a : 'ImageKind->Type) -> ((b:Type) -> a (Color b)) -> a Depth -> a Stencil -> (c:'ImageKind) -> a c
+match'ImageKind :: (a : Type->Type) -> a 'ImageKind -> (b:Type) -> a b -> a b
+imageType :: 'ImageKind->Type
+'Image :: 'Nat -> 'ImageKind->Type
+'ImageCase :: {a:'Nat} -> {b:'ImageKind} -> (c : 'Image a b -> Type) -> (d : 'Image a b) -> c d
+match'Image :: (a : Type->Type) -> ((b:'Nat) -> (c:'ImageKind) -> a ('Image b c)) -> (d:Type) -> a d -> a d
+ColorImage :: {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {_ : 'Num c} -> {_ : d ~ 'VecScalar b c} -> d -> 'Image a (Color d)
+DepthImage :: {a:'Nat} -> 'Float -> 'Image a Depth
+StencilImage :: {a:'Nat} -> 'Int -> 'Image a Stencil
+emptyDepthImage :: 'Float -> 'Image 1 Depth
+emptyColorImage :: {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 :: (a : 'Swizz->Type) -> a Sx -> a Sy -> a Sz -> a Sw -> (b:'Swizz) -> a b
+match'Swizz :: (a : Type->Type) -> a 'Swizz -> (b:Type) -> a b -> a b
+swizzscalar :: {a} -> {b:'Nat} -> 'Vec b a -> 'Swizz->a
+definedVec :: {a} -> {b:'Nat} -> 'Vec b a -> 'Bool
+swizzvector :: {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 :: (a : 'BlendingFactor->Type) -> a ZeroBF -> a OneBF -> a SrcColor -> a OneMinusSrcColor -> a DstColor -> a OneMinusDstColor -> a SrcAlpha -> a OneMinusSrcAlpha -> a DstAlpha -> a OneMinusDstAlpha -> a ConstantColor -> a OneMinusConstantColor -> a ConstantAlpha -> a OneMinusConstantAlpha -> a SrcAlphaSaturate -> (b:'BlendingFactor) -> a b
+match'BlendingFactor :: (a : Type->Type) -> a 'BlendingFactor -> (b:Type) -> a b -> a b
+'BlendEquation :: Type
+FuncAdd :: 'BlendEquation
+FuncSubtract :: 'BlendEquation
+FuncReverseSubtract :: 'BlendEquation
+Min :: 'BlendEquation
+Max :: 'BlendEquation
+'BlendEquationCase :: (a : 'BlendEquation->Type) -> a FuncAdd -> a FuncSubtract -> a FuncReverseSubtract -> a Min -> a Max -> (b:'BlendEquation) -> a b
+match'BlendEquation :: (a : Type->Type) -> a 'BlendEquation -> (b:Type) -> a b -> a b
+'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 :: (a : 'LogicOperation->Type) -> a Clear -> a And -> a AndReverse -> a Copy -> a AndInverted -> a Noop -> a Xor -> a Or -> a Nor -> a Equiv -> a Invert -> a OrReverse -> a CopyInverted -> a OrInverted -> a Nand -> a Set -> (b:'LogicOperation) -> a b
+match'LogicOperation :: (a : Type->Type) -> a 'LogicOperation -> (b:Type) -> a b -> a b
+'StencilOperation :: Type
+OpZero :: 'StencilOperation
+OpKeep :: 'StencilOperation
+OpReplace :: 'StencilOperation
+OpIncr :: 'StencilOperation
+OpIncrWrap :: 'StencilOperation
+OpDecr :: 'StencilOperation
+OpDecrWrap :: 'StencilOperation
+OpInvert :: 'StencilOperation
+'StencilOperationCase :: (a : 'StencilOperation->Type) -> a OpZero -> a OpKeep -> a OpReplace -> a OpIncr -> a OpIncrWrap -> a OpDecr -> a OpDecrWrap -> a OpInvert -> (b:'StencilOperation) -> a b
+match'StencilOperation :: (a : Type->Type) -> a 'StencilOperation -> (b:Type) -> a b -> a b
+'ComparisonFunction :: Type
+Never :: 'ComparisonFunction
+Less :: 'ComparisonFunction
+Equal :: 'ComparisonFunction
+Lequal :: 'ComparisonFunction
+Greater :: 'ComparisonFunction
+Notequal :: 'ComparisonFunction
+Gequal :: 'ComparisonFunction
+Always :: 'ComparisonFunction
+'ComparisonFunctionCase :: (a : 'ComparisonFunction->Type) -> a Never -> a Less -> a Equal -> a Lequal -> a Greater -> a Notequal -> a Gequal -> a Always -> (b:'ComparisonFunction) -> a b
+match'ComparisonFunction :: (a : Type->Type) -> a 'ComparisonFunction -> (b:Type) -> a b -> a b
+'ProvokingVertex :: Type
+LastVertex :: 'ProvokingVertex
+FirstVertex :: 'ProvokingVertex
+'ProvokingVertexCase :: (a : 'ProvokingVertex->Type) -> a LastVertex -> a FirstVertex -> (b:'ProvokingVertex) -> a b
+match'ProvokingVertex :: (a : Type->Type) -> a 'ProvokingVertex -> (b:Type) -> a b -> a b
+'CullMode :: Type
+CullFront :: 'CullMode
+CullBack :: 'CullMode
+CullNone :: 'CullMode
+'CullModeCase :: (a : 'CullMode->Type) -> a CullFront -> a CullBack -> a CullNone -> (b:'CullMode) -> a b
+match'CullMode :: (a : Type->Type) -> a 'CullMode -> (b:Type) -> a b -> a b
+'PointSize :: Type->Type
+PointSize :: {a} -> 'Float -> 'PointSize a
+ProgramPointSize :: {a} -> (a->'Float) -> 'PointSize a
+'PointSizeCase :: {a} -> (b : 'PointSize a -> Type) -> ((c:'Float) -> b (PointSize c)) -> ((d : a->'Float) -> b (ProgramPointSize d)) -> (e : 'PointSize a) -> b e
+match'PointSize :: (a : Type->Type) -> ((b:Type) -> a ('PointSize b)) -> (c:Type) -> a c -> a c
+'PolygonMode :: Type->Type
+PolygonFill :: {a} -> 'PolygonMode a
+PolygonPoint :: {a} -> 'PointSize a -> 'PolygonMode a
+PolygonLine :: {a} -> 'Float -> 'PolygonMode a
+'PolygonModeCase :: {a} -> (b : 'PolygonMode a -> Type) -> b PolygonFill -> ((c : 'PointSize a) -> b (PolygonPoint c)) -> ((d:'Float) -> b (PolygonLine d)) -> (e : 'PolygonMode a) -> b e
+match'PolygonMode :: (a : Type->Type) -> ((b:Type) -> a ('PolygonMode b)) -> (c:Type) -> a c -> a c
+'PolygonOffset :: Type
+NoOffset :: 'PolygonOffset
+Offset :: 'Float -> 'Float->'PolygonOffset
+'PolygonOffsetCase :: (a : 'PolygonOffset->Type) -> a NoOffset -> ((b:'Float) -> (c:'Float) -> a (Offset b c)) -> (d:'PolygonOffset) -> a d
+match'PolygonOffset :: (a : Type->Type) -> a 'PolygonOffset -> (b:Type) -> a b -> a b
+'PointSpriteCoordOrigin :: Type
+LowerLeft :: 'PointSpriteCoordOrigin
+UpperLeft :: 'PointSpriteCoordOrigin
+'PointSpriteCoordOriginCase :: (a : 'PointSpriteCoordOrigin->Type) -> a LowerLeft -> a UpperLeft -> (b:'PointSpriteCoordOrigin) -> a b
+match'PointSpriteCoordOrigin :: (a : Type->Type) -> a 'PointSpriteCoordOrigin -> (b:Type) -> a b -> a b
+primTexture :: () -> 'Vec 2 'Float -> 'Vec 4 'Float
+Uniform :: {a} -> 'String->a
+'RasterContext :: Type -> 'PrimitiveType->Type
+TriangleCtx :: {a} -> 'CullMode -> 'PolygonMode a -> 'PolygonOffset -> 'ProvokingVertex -> 'RasterContext a Triangle
+PointCtx :: {a} -> 'PointSize a -> 'Float -> 'PointSpriteCoordOrigin -> 'RasterContext a Point
+LineCtx :: {a} -> 'Float -> 'ProvokingVertex -> 'RasterContext a Line
+'RasterContextCase :: {a} -> (b : (c:'PrimitiveType) -> 'RasterContext a c -> Type) -> ((d:'CullMode) -> (e : 'PolygonMode a) -> (f:'PolygonOffset) -> (g:'ProvokingVertex) -> b Triangle (TriangleCtx d e f g)) -> ((h : 'PointSize a) -> (i:'Float) -> (j:'PointSpriteCoordOrigin) -> b Point (PointCtx h i j)) -> ((k:'Float) -> (l:'ProvokingVertex) -> b Line (LineCtx k l)) -> {m:'PrimitiveType} -> (n : 'RasterContext a m) -> b m n
+match'RasterContext :: (a : Type->Type) -> ((b:Type) -> (c:'PrimitiveType) -> a ('RasterContext b c)) -> (d:Type) -> a d -> a d
+'Blending :: Type->Type
+NoBlending :: {a} -> 'Blending a
+BlendLogicOp :: {a} -> {_ : 'Integral a} -> 'LogicOperation -> 'Blending a
+Blend :: ('BlendEquation, 'BlendEquation) -> (('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor)) -> 'Vec 4 'Float -> 'Blending 'Float
+'BlendingCase :: (a : (b:Type) -> 'Blending b -> Type) -> ({c} -> a c (NoBlending c)) -> ({d} -> {e : 'Integral d} -> (f:'LogicOperation) -> a d (BlendLogicOp d e f)) -> ((g:('BlendEquation, 'BlendEquation)) -> (h:(('BlendingFactor, 'BlendingFactor), ('BlendingFactor, 'BlendingFactor))) -> (i : 'Vec 4 'Float) -> a 'Float (Blend g h i)) -> {j} -> (k : 'Blending j) -> a j k
+match'Blending :: (a : Type->Type) -> ((b:Type) -> a ('Blending b)) -> (c:Type) -> a c -> a c
+'StencilTests :: Type
+'StencilTestsCase :: (a : 'StencilTests->Type) -> (b:'StencilTests) -> a b
+match'StencilTests :: (a : Type->Type) -> a 'StencilTests -> (b:Type) -> a b -> a b
+'StencilOps :: Type
+'StencilOpsCase :: (a : 'StencilOps->Type) -> (b:'StencilOps) -> a b
+match'StencilOps :: (a : Type->Type) -> a 'StencilOps -> (b:Type) -> a b -> a b
+'FragmentOperation :: 'ImageKind->Type
+ColorOp :: {a} -> {b:'Nat} -> {_ : 'Num a} -> 'Blending a -> 'VecScalar b 'Bool -> 'FragmentOperation (Color ('VecScalar b a))
+DepthOp :: 'ComparisonFunction -> 'Bool -> 'FragmentOperation Depth
+StencilOp :: 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation Stencil
+'FragmentOperationCase :: (a : (b:'ImageKind) -> 'FragmentOperation b -> Type) -> ({c} -> {d:'Nat} -> {e : 'Num c} -> (f : 'Blending c) -> (g : 'VecScalar d 'Bool) -> a (Color ('VecScalar d c)) (ColorOp c d e f g)) -> ((h:'ComparisonFunction) -> (i:'Bool) -> a Depth (DepthOp h i)) -> ((j:'StencilTests) -> (k:'StencilOps) -> (l:'StencilOps) -> a Stencil (StencilOp j k l)) -> {m:'ImageKind} -> (n : 'FragmentOperation m) -> a m n
+match'FragmentOperation :: (a : Type->Type) -> ((b:'ImageKind) -> a ('FragmentOperation b)) -> (c:Type) -> a c -> a c
+'Interpolated :: Type->Type
+Smooth :: {a} -> {_ : 'Floating a} -> 'Interpolated a
+NoPerspective :: {a} -> {_ : 'Floating a} -> 'Interpolated a
+Flat :: {a} -> 'Interpolated a
+'InterpolatedCase :: {a} -> (b : 'Interpolated a -> Type) -> ({c : 'Floating a} -> b (Smooth c)) -> ({d : 'Floating a} -> b (NoPerspective d)) -> b Flat -> (e : 'Interpolated a) -> b e
+match'Interpolated :: (a : Type->Type) -> ((b:Type) -> a ('Interpolated b)) -> (c:Type) -> a c -> a c
+rasterizePrimitive :: {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 :: {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 :: {a} -> 'List a -> Type
+sameLayerCounts :: 'List Type -> Type
+'FrameBuffer :: 'Nat -> 'List 'ImageKind -> Type
+'FrameBufferCase :: {a:'Nat} -> {b : 'List 'ImageKind} -> (c : 'FrameBuffer a b -> Type) -> (d : 'FrameBuffer a b) -> c d
+match'FrameBuffer :: (a : Type->Type) -> ((b:'Nat) -> (c : 'List 'ImageKind) -> a ('FrameBuffer b c)) -> (d:Type) -> a d -> a d
+imageType' :: 'List 'ImageKind -> 'List Type
+'FragmentOperationKind :: Type->'ImageKind
+Accumulate :: {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 :: {a} -> {b} -> a -> b->(a, b)
+overlay :: {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 :: {a : 'List Type} -> {_ : sameLayerCounts a} -> 'HList a -> 'FrameBuffer ('ImageLC (head Type a)) (map Type 'ImageKind 'GetImageKind a)
+imageFrame :: {a : 'List Type} -> {_ : sameLayerCounts a} -> 'HList a -> 'FrameBuffer ('ImageLC (head Type a)) (map Type 'ImageKind 'GetImageKind a)
+accumulate :: {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 :: {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 :: {a:'Nat} -> {b : 'List 'ImageKind} -> 'FrameBuffer a b -> 'Output
+'OutputCase :: (a : 'Output->Type) -> ({b:'Nat} -> {c : 'List 'ImageKind} -> (d : 'FrameBuffer b c) -> a (ScreenOut b c d)) -> (e:'Output) -> a e
+match'Output :: (a : Type->Type) -> a 'Output -> (b:Type) -> a b -> a b
+renderFrame :: {a:'Nat} -> {b : 'List 'ImageKind} -> 'FrameBuffer a b -> 'Output
+'Texture :: Type
+Texture2DSlot :: 'String->'Texture
+Texture2D :: 'Vec 2 'Int -> 'Image 1 (Color ('Vec 4 'Float)) -> 'Texture
+'TextureCase :: (a : 'Texture->Type) -> ((b:'String) -> a (Texture2DSlot b)) -> ((c : 'Vec 2 'Int) -> (d : 'Image 1 (Color ('Vec 4 'Float))) -> a (Texture2D c d)) -> (e:'Texture) -> a e
+match'Texture :: (a : Type->Type) -> a 'Texture -> (b:Type) -> a b -> a b
+'Filter :: Type
+PointFilter :: 'Filter
+LinearFilter :: 'Filter
+'FilterCase :: (a : 'Filter->Type) -> a PointFilter -> a LinearFilter -> (b:'Filter) -> a b
+match'Filter :: (a : Type->Type) -> a 'Filter -> (b:Type) -> a b -> a b
+'EdgeMode :: Type
+Repeat :: 'EdgeMode
+MirroredRepeat :: 'EdgeMode
+ClampToEdge :: 'EdgeMode
+'EdgeModeCase :: (a : 'EdgeMode->Type) -> a Repeat -> a MirroredRepeat -> a ClampToEdge -> (b:'EdgeMode) -> a b
+match'EdgeMode :: (a : Type->Type) -> a 'EdgeMode -> (b:Type) -> a b -> a b
+'Sampler :: Type
+Sampler :: 'Filter -> 'EdgeMode -> 'Texture->'Sampler
+'SamplerCase :: (a : 'Sampler->Type) -> ((b:'Filter) -> (c:'EdgeMode) -> (d:'Texture) -> a (Sampler b c d)) -> (e:'Sampler) -> a e
+match'Sampler :: (a : Type->Type) -> a 'Sampler -> (b:Type) -> a b -> a b
+texture2D :: 'Sampler -> 'Vec 2 'Float -> 'Vec 4 'Float
+accumulationContext :: {a} -> a->a
 ------------ tooltips
 testdata/Builtins.lc 10:1-10:3  {a} -> a->a
 testdata/Builtins.lc 10:8-10:9  b_