1 files changed, 141 insertions, 141 deletions

diff --git a/testdata/performance/Material.out b/testdata/performance/Material.out
index 958efb6f..d31c4191 100644
--- a/testdata/performance/Material.out
+++ b/testdata/performance/Material.out
@@ -1,161 +1,161 @@
 main is not found
 ------------ trace
-identityLight :: 'Float
+identityLight :: Float
 'Entity :: Type
-Entity :: 'Vec 4 'Float -> 'Vec 4 'Float -> 'Vec 3 'Float -> 'Vec 4 'Float -> 'Entity
-'EntityCase :: forall (a :: 'Entity -> Type) -> (forall (b :: 'Vec 4 'Float) (c :: 'Vec 4 'Float) (d :: 'Vec 3 'Float) (e :: 'Vec 4 'Float) -> a (Entity b c d e)) -> forall (f :: 'Entity) -> a f
-match'Entity :: forall (a :: Type -> Type) -> a 'Entity -> forall b -> a b -> a b
-eAmbientLight :: 'Entity -> 'VecS 'Float 4
-eDirectedLight :: 'Entity -> 'VecS 'Float 4
-eLightDir :: 'Entity -> 'VecS 'Float 3
-eShaderRGBA :: 'Entity -> 'VecS 'Float 4
+Entity :: Vec 4 Float -> Vec 4 Float -> Vec 3 Float -> Vec 4 Float -> Entity
+'EntityCase :: forall (a :: Entity -> Type) -> (forall (b :: Vec 4 Float) (c :: Vec 4 Float) (d :: Vec 3 Float) (e :: Vec 4 Float) -> a ('Entity b c d e)) -> forall (f :: Entity) -> a f
+match'Entity :: forall (a :: Type -> Type) -> a Entity -> forall b -> a b -> a b
+eAmbientLight :: Entity -> VecS Float 4
+eDirectedLight :: Entity -> VecS Float 4
+eLightDir :: Entity -> VecS Float 3
+eShaderRGBA :: Entity -> VecS Float 4
 'WaveType :: Type
-WT_Sin :: 'WaveType
-WT_Triangle :: 'WaveType
-WT_Square :: 'WaveType
-WT_Sawtooth :: 'WaveType
-WT_InverseSawtooth :: 'WaveType
-WT_Noise :: 'WaveType
-'WaveTypeCase :: forall (a :: 'WaveType -> Type) -> a WT_Sin -> a WT_Triangle -> a WT_Square -> a WT_Sawtooth -> a WT_InverseSawtooth -> a WT_Noise -> forall (b :: 'WaveType) -> a b
-match'WaveType :: forall (a :: Type -> Type) -> a 'WaveType -> forall b -> a b -> a b
+WT_Sin :: WaveType
+WT_Triangle :: WaveType
+WT_Square :: WaveType
+WT_Sawtooth :: WaveType
+WT_InverseSawtooth :: WaveType
+WT_Noise :: WaveType
+'WaveTypeCase :: forall (a :: WaveType -> Type) -> a 'WT_Sin -> a 'WT_Triangle -> a 'WT_Square -> a 'WT_Sawtooth -> a 'WT_InverseSawtooth -> a 'WT_Noise -> forall (b :: WaveType) -> a b
+match'WaveType :: forall (a :: Type -> Type) -> a WaveType -> forall b -> a b -> a b
 'Wave :: Type
-Wave :: 'WaveType -> 'Float -> 'Float -> 'Float -> 'Float -> 'Wave
-'WaveCase :: forall (a :: 'Wave -> Type) -> (forall (b :: 'WaveType) (c :: 'Float) (d :: 'Float) (e :: 'Float) (f :: 'Float) -> a (Wave b c d e f)) -> forall (g :: 'Wave) -> a g
-match'Wave :: forall (a :: Type -> Type) -> a 'Wave -> forall b -> a b -> a b
+Wave :: WaveType -> Float -> Float -> Float -> Float -> Wave
+'WaveCase :: forall (a :: Wave -> Type) -> (forall (b :: WaveType) (c :: Float) (d :: Float) (e :: Float) (f :: Float) -> a ('Wave b c d e f)) -> forall (g :: Wave) -> a g
+match'Wave :: forall (a :: Type -> Type) -> a Wave -> forall b -> a b -> a b
 'Deform :: Type
-D_AutoSprite :: 'Deform
-D_AutoSprite2 :: 'Deform
-D_Bulge :: 'Float -> 'Float -> 'Float -> 'Deform
-D_Move :: 'Vec 3 'Float -> 'Wave -> 'Deform
-D_Normal :: 'Float -> 'Float -> 'Deform
-D_ProjectionShadow :: 'Deform
-D_Text0 :: 'Deform
-D_Text1 :: 'Deform
-D_Text2 :: 'Deform
-D_Text3 :: 'Deform
-D_Text4 :: 'Deform
-D_Text5 :: 'Deform
-D_Text6 :: 'Deform
-D_Text7 :: 'Deform
-D_Wave :: 'Float -> 'Wave -> 'Deform
-'DeformCase :: forall (a :: 'Deform -> Type) -> a D_AutoSprite -> a D_AutoSprite2 -> (forall (b :: 'Float) (c :: 'Float) (d :: 'Float) -> a (D_Bulge b c d)) -> (forall (e :: 'Vec 3 'Float) (f :: 'Wave) -> a (D_Move e f)) -> (forall (g :: 'Float) (h :: 'Float) -> a (D_Normal g h)) -> a D_ProjectionShadow -> a D_Text0 -> a D_Text1 -> a D_Text2 -> a D_Text3 -> a D_Text4 -> a D_Text5 -> a D_Text6 -> a D_Text7 -> (forall (i :: 'Float) (j :: 'Wave) -> a (D_Wave i j)) -> forall (k :: 'Deform) -> a k
-match'Deform :: forall (a :: Type -> Type) -> a 'Deform -> forall b -> a b -> a b
+D_AutoSprite :: Deform
+D_AutoSprite2 :: Deform
+D_Bulge :: Float -> Float -> Float -> Deform
+D_Move :: Vec 3 Float -> Wave -> Deform
+D_Normal :: Float -> Float -> Deform
+D_ProjectionShadow :: Deform
+D_Text0 :: Deform
+D_Text1 :: Deform
+D_Text2 :: Deform
+D_Text3 :: Deform
+D_Text4 :: Deform
+D_Text5 :: Deform
+D_Text6 :: Deform
+D_Text7 :: Deform
+D_Wave :: Float -> Wave -> Deform
+'DeformCase :: forall (a :: Deform -> Type) -> a 'D_AutoSprite -> a 'D_AutoSprite2 -> (forall (b :: Float) (c :: Float) (d :: Float) -> a ('D_Bulge b c d)) -> (forall (e :: Vec 3 Float) (f :: Wave) -> a ('D_Move e f)) -> (forall (g :: Float) (h :: Float) -> a ('D_Normal g h)) -> a 'D_ProjectionShadow -> a 'D_Text0 -> a 'D_Text1 -> a 'D_Text2 -> a 'D_Text3 -> a 'D_Text4 -> a 'D_Text5 -> a 'D_Text6 -> a 'D_Text7 -> (forall (i :: Float) (j :: Wave) -> a ('D_Wave i j)) -> forall (k :: Deform) -> a k
+match'Deform :: forall (a :: Type -> Type) -> a Deform -> forall b -> a b -> a b
 'CullType :: Type
-CT_FrontSided :: 'CullType
-CT_BackSided :: 'CullType
-CT_TwoSided :: 'CullType
-'CullTypeCase :: forall (a :: 'CullType -> Type) -> a CT_FrontSided -> a CT_BackSided -> a CT_TwoSided -> forall (b :: 'CullType) -> a b
-match'CullType :: forall (a :: Type -> Type) -> a 'CullType -> forall b -> a b -> a b
+CT_FrontSided :: CullType
+CT_BackSided :: CullType
+CT_TwoSided :: CullType
+'CullTypeCase :: forall (a :: CullType -> Type) -> a 'CT_FrontSided -> a 'CT_BackSided -> a 'CT_TwoSided -> forall (b :: CullType) -> a b
+match'CullType :: forall (a :: Type -> Type) -> a CullType -> forall b -> a b -> a b
 'Blending' :: Type
-B_DstAlpha :: 'Blending'
-B_DstColor :: 'Blending'
-B_One :: 'Blending'
-B_OneMinusDstAlpha :: 'Blending'
-B_OneMinusDstColor :: 'Blending'
-B_OneMinusSrcAlpha :: 'Blending'
-B_OneMinusSrcColor :: 'Blending'
-B_SrcAlpha :: 'Blending'
-B_SrcAlphaSaturate :: 'Blending'
-B_SrcColor :: 'Blending'
-B_Zero :: 'Blending'
-'Blending'Case :: forall (a :: 'Blending' -> Type) -> a B_DstAlpha -> a B_DstColor -> a B_One -> a B_OneMinusDstAlpha -> a B_OneMinusDstColor -> a B_OneMinusSrcAlpha -> a B_OneMinusSrcColor -> a B_SrcAlpha -> a B_SrcAlphaSaturate -> a B_SrcColor -> a B_Zero -> forall (b :: 'Blending') -> a b
-match'Blending' :: forall (a :: Type -> Type) -> a 'Blending' -> forall b -> a b -> a b
+B_DstAlpha :: Blending'
+B_DstColor :: Blending'
+B_One :: Blending'
+B_OneMinusDstAlpha :: Blending'
+B_OneMinusDstColor :: Blending'
+B_OneMinusSrcAlpha :: Blending'
+B_OneMinusSrcColor :: Blending'
+B_SrcAlpha :: Blending'
+B_SrcAlphaSaturate :: Blending'
+B_SrcColor :: Blending'
+B_Zero :: Blending'
+'Blending'Case :: forall (a :: Blending' -> Type) -> a 'B_DstAlpha -> a 'B_DstColor -> a 'B_One -> a 'B_OneMinusDstAlpha -> a 'B_OneMinusDstColor -> a 'B_OneMinusSrcAlpha -> a 'B_OneMinusSrcColor -> a 'B_SrcAlpha -> a 'B_SrcAlphaSaturate -> a 'B_SrcColor -> a 'B_Zero -> forall (b :: Blending') -> a b
+match'Blending' :: forall (a :: Type -> Type) -> a Blending' -> forall b -> a b -> a b
 'RGBGen :: Type
-RGB_Wave :: 'Wave -> 'RGBGen
-RGB_Const :: 'Float -> 'Float -> 'Float -> 'RGBGen
-RGB_Identity :: 'RGBGen
-RGB_IdentityLighting :: 'RGBGen
-RGB_Entity :: 'RGBGen
-RGB_OneMinusEntity :: 'RGBGen
-RGB_ExactVertex :: 'RGBGen
-RGB_Vertex :: 'RGBGen
-RGB_LightingDiffuse :: 'RGBGen
-RGB_OneMinusVertex :: 'RGBGen
-RGB_Undefined :: 'RGBGen
-'RGBGenCase :: forall (a :: 'RGBGen -> Type) -> (forall (b :: 'Wave) -> a (RGB_Wave b)) -> (forall (c :: 'Float) (d :: 'Float) (e :: 'Float) -> a (RGB_Const c d e)) -> a RGB_Identity -> a RGB_IdentityLighting -> a RGB_Entity -> a RGB_OneMinusEntity -> a RGB_ExactVertex -> a RGB_Vertex -> a RGB_LightingDiffuse -> a RGB_OneMinusVertex -> a RGB_Undefined -> forall (f :: 'RGBGen) -> a f
-match'RGBGen :: forall (a :: Type -> Type) -> a 'RGBGen -> forall b -> a b -> a b
+RGB_Wave :: Wave -> RGBGen
+RGB_Const :: Float -> Float -> Float -> RGBGen
+RGB_Identity :: RGBGen
+RGB_IdentityLighting :: RGBGen
+RGB_Entity :: RGBGen
+RGB_OneMinusEntity :: RGBGen
+RGB_ExactVertex :: RGBGen
+RGB_Vertex :: RGBGen
+RGB_LightingDiffuse :: RGBGen
+RGB_OneMinusVertex :: RGBGen
+RGB_Undefined :: RGBGen
+'RGBGenCase :: forall (a :: RGBGen -> Type) -> (forall (b :: Wave) -> a ('RGB_Wave b)) -> (forall (c :: Float) (d :: Float) (e :: Float) -> a ('RGB_Const c d e)) -> a 'RGB_Identity -> a 'RGB_IdentityLighting -> a 'RGB_Entity -> a 'RGB_OneMinusEntity -> a 'RGB_ExactVertex -> a 'RGB_Vertex -> a 'RGB_LightingDiffuse -> a 'RGB_OneMinusVertex -> a 'RGB_Undefined -> forall (f :: RGBGen) -> a f
+match'RGBGen :: forall (a :: Type -> Type) -> a RGBGen -> forall b -> a b -> a b
 'AlphaGen :: Type
-A_Wave :: 'Wave -> 'AlphaGen
-A_Const :: 'Float -> 'AlphaGen
-A_Portal :: 'AlphaGen
-A_Identity :: 'AlphaGen
-A_Entity :: 'AlphaGen
-A_OneMinusEntity :: 'AlphaGen
-A_Vertex :: 'AlphaGen
-A_LightingSpecular :: 'AlphaGen
-A_OneMinusVertex :: 'AlphaGen
-'AlphaGenCase :: forall (a :: 'AlphaGen -> Type) -> (forall (b :: 'Wave) -> a (A_Wave b)) -> (forall (c :: 'Float) -> a (A_Const c)) -> a A_Portal -> a A_Identity -> a A_Entity -> a A_OneMinusEntity -> a A_Vertex -> a A_LightingSpecular -> a A_OneMinusVertex -> forall (d :: 'AlphaGen) -> a d
-match'AlphaGen :: forall (a :: Type -> Type) -> a 'AlphaGen -> forall b -> a b -> a b
+A_Wave :: Wave -> AlphaGen
+A_Const :: Float -> AlphaGen
+A_Portal :: AlphaGen
+A_Identity :: AlphaGen
+A_Entity :: AlphaGen
+A_OneMinusEntity :: AlphaGen
+A_Vertex :: AlphaGen
+A_LightingSpecular :: AlphaGen
+A_OneMinusVertex :: AlphaGen
+'AlphaGenCase :: forall (a :: AlphaGen -> Type) -> (forall (b :: Wave) -> a ('A_Wave b)) -> (forall (c :: Float) -> a ('A_Const c)) -> a 'A_Portal -> a 'A_Identity -> a 'A_Entity -> a 'A_OneMinusEntity -> a 'A_Vertex -> a 'A_LightingSpecular -> a 'A_OneMinusVertex -> forall (d :: AlphaGen) -> a d
+match'AlphaGen :: forall (a :: Type -> Type) -> a AlphaGen -> forall b -> a b -> a b
 'TCGen :: Type
-TG_Base :: 'TCGen
-TG_Lightmap :: 'TCGen
-TG_Environment :: 'TCGen
-TG_Vector :: 'Vec 3 'Float -> 'Vec 3 'Float -> 'TCGen
-TG_Undefined :: 'TCGen
-'TCGenCase :: forall (a :: 'TCGen -> Type) -> a TG_Base -> a TG_Lightmap -> a TG_Environment -> (forall (b :: 'Vec 3 'Float) (c :: 'Vec 3 'Float) -> a (TG_Vector b c)) -> a TG_Undefined -> forall (d :: 'TCGen) -> a d
-match'TCGen :: forall (a :: Type -> Type) -> a 'TCGen -> forall b -> a b -> a b
+TG_Base :: TCGen
+TG_Lightmap :: TCGen
+TG_Environment :: TCGen
+TG_Vector :: Vec 3 Float -> Vec 3 Float -> TCGen
+TG_Undefined :: TCGen
+'TCGenCase :: forall (a :: TCGen -> Type) -> a 'TG_Base -> a 'TG_Lightmap -> a 'TG_Environment -> (forall (b :: Vec 3 Float) (c :: Vec 3 Float) -> a ('TG_Vector b c)) -> a 'TG_Undefined -> forall (d :: TCGen) -> a d
+match'TCGen :: forall (a :: Type -> Type) -> a TCGen -> forall b -> a b -> a b
 'TCMod :: Type
-TM_EntityTranslate :: 'TCMod
-TM_Rotate :: 'Float -> 'TCMod
-TM_Scroll :: 'Float -> 'Float -> 'TCMod
-TM_Scale :: 'Float -> 'Float -> 'TCMod
-TM_Stretch :: 'Wave -> 'TCMod
-TM_Transform :: 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
-TM_Turb :: 'Float -> 'Float -> 'Float -> 'Float -> 'TCMod
-'TCModCase :: forall (a :: 'TCMod -> Type) -> a TM_EntityTranslate -> (forall (b :: 'Float) -> a (TM_Rotate b)) -> (forall (c :: 'Float) (d :: 'Float) -> a (TM_Scroll c d)) -> (forall (e :: 'Float) (f :: 'Float) -> a (TM_Scale e f)) -> (forall (g :: 'Wave) -> a (TM_Stretch g)) -> (forall (h :: 'Float) (i :: 'Float) (j :: 'Float) (k :: 'Float) (l :: 'Float) (m :: 'Float) -> a (TM_Transform h i j k l m)) -> (forall (n :: 'Float) (o :: 'Float) (p :: 'Float) (q :: 'Float) -> a (TM_Turb n o p q)) -> forall (r :: 'TCMod) -> a r
-match'TCMod :: forall (a :: Type -> Type) -> a 'TCMod -> forall b -> a b -> a b
+TM_EntityTranslate :: TCMod
+TM_Rotate :: Float -> TCMod
+TM_Scroll :: Float -> Float -> TCMod
+TM_Scale :: Float -> Float -> TCMod
+TM_Stretch :: Wave -> TCMod
+TM_Transform :: Float -> Float -> Float -> Float -> Float -> Float -> TCMod
+TM_Turb :: Float -> Float -> Float -> Float -> TCMod
+'TCModCase :: forall (a :: TCMod -> Type) -> a 'TM_EntityTranslate -> (forall (b :: Float) -> a ('TM_Rotate b)) -> (forall (c :: Float) (d :: Float) -> a ('TM_Scroll c d)) -> (forall (e :: Float) (f :: Float) -> a ('TM_Scale e f)) -> (forall (g :: Wave) -> a ('TM_Stretch g)) -> (forall (h :: Float) (i :: Float) (j :: Float) (k :: Float) (l :: Float) (m :: Float) -> a ('TM_Transform h i j k l m)) -> (forall (n :: Float) (o :: Float) (p :: Float) (q :: Float) -> a ('TM_Turb n o p q)) -> forall (r :: TCMod) -> a r
+match'TCMod :: forall (a :: Type -> Type) -> a TCMod -> forall b -> a b -> a b
 'StageTexture :: Type
-ST_Map :: 'String -> 'StageTexture
-ST_ClampMap :: 'String -> 'StageTexture
-ST_AnimMap :: 'Float -> 'List 'String -> 'StageTexture
-ST_Lightmap :: 'StageTexture
-ST_WhiteImage :: 'StageTexture
-'StageTextureCase :: forall (a :: 'StageTexture -> Type) -> (forall (b :: 'String) -> a (ST_Map b)) -> (forall (c :: 'String) -> a (ST_ClampMap c)) -> (forall (d :: 'Float) (e :: 'List 'String) -> a (ST_AnimMap d e)) -> a ST_Lightmap -> a ST_WhiteImage -> forall (f :: 'StageTexture) -> a f
-match'StageTexture :: forall (a :: Type -> Type) -> a 'StageTexture -> forall b -> a b -> a b
+ST_Map :: String -> StageTexture
+ST_ClampMap :: String -> StageTexture
+ST_AnimMap :: Float -> List String -> StageTexture
+ST_Lightmap :: StageTexture
+ST_WhiteImage :: StageTexture
+'StageTextureCase :: forall (a :: StageTexture -> Type) -> (forall (b :: String) -> a ('ST_Map b)) -> (forall (c :: String) -> a ('ST_ClampMap c)) -> (forall (d :: Float) (e :: List String) -> a ('ST_AnimMap d e)) -> a 'ST_Lightmap -> a 'ST_WhiteImage -> forall (f :: StageTexture) -> a f
+match'StageTexture :: forall (a :: Type -> Type) -> a StageTexture -> forall b -> a b -> a b
 'AlphaFunction :: Type
-A_Gt0 :: 'AlphaFunction
-A_Lt128 :: 'AlphaFunction
-A_Ge128 :: 'AlphaFunction
-'AlphaFunctionCase :: forall (a :: 'AlphaFunction -> Type) -> a A_Gt0 -> a A_Lt128 -> a A_Ge128 -> forall (b :: 'AlphaFunction) -> a b
-match'AlphaFunction :: forall (a :: Type -> Type) -> a 'AlphaFunction -> forall b -> a b -> a b
+A_Gt0 :: AlphaFunction
+A_Lt128 :: AlphaFunction
+A_Ge128 :: AlphaFunction
+'AlphaFunctionCase :: forall (a :: AlphaFunction -> Type) -> a 'A_Gt0 -> a 'A_Lt128 -> a 'A_Ge128 -> forall (b :: AlphaFunction) -> a b
+match'AlphaFunction :: forall (a :: Type -> Type) -> a AlphaFunction -> forall b -> a b -> a b
 'DepthFunction :: Type
-D_Equal :: 'DepthFunction
-D_Lequal :: 'DepthFunction
-'DepthFunctionCase :: forall (a :: 'DepthFunction -> Type) -> a D_Equal -> a D_Lequal -> forall (b :: 'DepthFunction) -> a b
-match'DepthFunction :: forall (a :: Type -> Type) -> a 'DepthFunction -> forall b -> a b -> a b
+D_Equal :: DepthFunction
+D_Lequal :: DepthFunction
+'DepthFunctionCase :: forall (a :: DepthFunction -> Type) -> a 'D_Equal -> a 'D_Lequal -> forall (b :: DepthFunction) -> a b
+match'DepthFunction :: forall (a :: Type -> Type) -> a DepthFunction -> forall b -> a b -> a b
 'StageAttrs :: Type
-StageAttrs :: 'Maybe ('Blending', 'Blending') -> 'RGBGen -> 'AlphaGen -> 'TCGen -> 'List 'TCMod -> 'StageTexture -> 'Bool -> 'DepthFunction -> 'Maybe 'AlphaFunction -> 'Bool -> 'String -> 'StageAttrs
-'StageAttrsCase :: forall (a :: 'StageAttrs -> Type) -> (forall (b :: 'Maybe ('Blending', 'Blending')) (c :: 'RGBGen) (d :: 'AlphaGen) (e :: 'TCGen) (f :: 'List 'TCMod) (g :: 'StageTexture) (h :: 'Bool) (i :: 'DepthFunction) (j :: 'Maybe 'AlphaFunction) (k :: 'Bool) (l :: 'String) -> a (StageAttrs b c d e f g h i j k l)) -> forall (m :: 'StageAttrs) -> a m
-match'StageAttrs :: forall (a :: Type -> Type) -> a 'StageAttrs -> forall b -> a b -> a b
-saBlend :: 'StageAttrs -> 'Maybe ('Blending', 'Blending')
-saRGBGen :: 'StageAttrs -> 'RGBGen
-saAlphaGen :: 'StageAttrs -> 'AlphaGen
-saTCGen :: 'StageAttrs -> 'TCGen
-saTCMod :: 'StageAttrs -> 'List 'TCMod
-saTexture :: 'StageAttrs -> 'StageTexture
-saDepthWrite :: 'StageAttrs -> 'Bool
-saDepthFunc :: 'StageAttrs -> 'DepthFunction
-saAlphaFunc :: 'StageAttrs -> 'Maybe 'AlphaFunction
-saDepthMaskExplicit :: 'StageAttrs -> 'Bool
-saTextureUniform :: 'StageAttrs -> 'String
-defaultStageAttrs :: 'StageAttrs
+StageAttrs :: Maybe (Blending', Blending') -> RGBGen -> AlphaGen -> TCGen -> List TCMod -> StageTexture -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs
+'StageAttrsCase :: forall (a :: StageAttrs -> Type) -> (forall (b :: Maybe (Blending', Blending')) (c :: RGBGen) (d :: AlphaGen) (e :: TCGen) (f :: List TCMod) (g :: StageTexture) (h :: Bool) (i :: DepthFunction) (j :: Maybe AlphaFunction) (k :: Bool) (l :: String) -> a ('StageAttrs b c d e f g h i j k l)) -> forall (m :: StageAttrs) -> a m
+match'StageAttrs :: forall (a :: Type -> Type) -> a StageAttrs -> forall b -> a b -> a b
+saBlend :: StageAttrs -> Maybe (Blending', Blending')
+saRGBGen :: StageAttrs -> RGBGen
+saAlphaGen :: StageAttrs -> AlphaGen
+saTCGen :: StageAttrs -> TCGen
+saTCMod :: StageAttrs -> List TCMod
+saTexture :: StageAttrs -> StageTexture
+saDepthWrite :: StageAttrs -> Bool
+saDepthFunc :: StageAttrs -> DepthFunction
+saAlphaFunc :: StageAttrs -> Maybe AlphaFunction
+saDepthMaskExplicit :: StageAttrs -> Bool
+saTextureUniform :: StageAttrs -> String
+defaultStageAttrs :: StageAttrs
 'CommonAttrs :: Type
-CommonAttrs :: () -> () -> 'Bool -> 'Float -> 'Bool -> 'Bool -> 'CullType -> 'List 'Deform -> 'Bool -> 'Bool -> 'List 'StageAttrs -> 'Bool -> 'CommonAttrs
-'CommonAttrsCase :: forall (a :: 'CommonAttrs -> Type) -> (forall (b :: ()) (c :: ()) (d :: 'Bool) (e :: 'Float) (f :: 'Bool) (g :: 'Bool) (h :: 'CullType) (i :: 'List 'Deform) (j :: 'Bool) (k :: 'Bool) (l :: 'List 'StageAttrs) (m :: 'Bool) -> a (CommonAttrs b c d e f g h i j k l m)) -> forall (n :: 'CommonAttrs) -> a n
-match'CommonAttrs :: forall (a :: Type -> Type) -> a 'CommonAttrs -> forall b -> a b -> a b
-caSkyParms :: 'CommonAttrs -> ()
-caFogParms :: 'CommonAttrs -> ()
-caPortal :: 'CommonAttrs -> 'Bool
-caSort :: 'CommonAttrs -> 'Float
-caEntityMergable :: 'CommonAttrs -> 'Bool
-caFogOnly :: 'CommonAttrs -> 'Bool
-caCull :: 'CommonAttrs -> 'CullType
-caDeformVertexes :: 'CommonAttrs -> 'List 'Deform
-caNoMipMaps :: 'CommonAttrs -> 'Bool
-caPolygonOffset :: 'CommonAttrs -> 'Bool
-caStages :: 'CommonAttrs -> 'List 'StageAttrs
-caIsSky :: 'CommonAttrs -> 'Bool
-defaultCommonAttrs :: 'CommonAttrs
+CommonAttrs :: () -> () -> Bool -> Float -> Bool -> Bool -> CullType -> List Deform -> Bool -> Bool -> List StageAttrs -> Bool -> CommonAttrs
+'CommonAttrsCase :: forall (a :: CommonAttrs -> Type) -> (forall (b :: ()) (c :: ()) (d :: Bool) (e :: Float) (f :: Bool) (g :: Bool) (h :: CullType) (i :: List Deform) (j :: Bool) (k :: Bool) (l :: List StageAttrs) (m :: Bool) -> a ('CommonAttrs b c d e f g h i j k l m)) -> forall (n :: CommonAttrs) -> a n
+match'CommonAttrs :: forall (a :: Type -> Type) -> a CommonAttrs -> forall b -> a b -> a b
+caSkyParms :: CommonAttrs -> ()
+caFogParms :: CommonAttrs -> ()
+caPortal :: CommonAttrs -> Bool
+caSort :: CommonAttrs -> Float
+caEntityMergable :: CommonAttrs -> Bool
+caFogOnly :: CommonAttrs -> Bool
+caCull :: CommonAttrs -> CullType
+caDeformVertexes :: CommonAttrs -> List Deform
+caNoMipMaps :: CommonAttrs -> Bool
+caPolygonOffset :: CommonAttrs -> Bool
+caStages :: CommonAttrs -> List StageAttrs
+caIsSky :: CommonAttrs -> Bool
+defaultCommonAttrs :: CommonAttrs
 ------------ tooltips
 testdata/performance/Material.lc 7:18-7:23  Type
 testdata/performance/Material.lc 8:1-8:14  Float