trim | Type.Spine.Kinds |
tvb_kind | Type.Spine.TH |
tyConSignature | Type.Spine.TH |
typeK | Type.Spine.Kinds |
TypeName | Type.Spine.Stage0, Type.Spine |
trim | Type.Spine.Kinds |
tvb_kind | Type.Spine.TH |
tyConSignature | Type.Spine.TH |
typeK | Type.Spine.Kinds |
TypeName | Type.Spine.Stage0, Type.Spine |