:@ | Type.Spine.Base, Type.Spine |
Atom | Type.Spine.Base, Type.Spine |
liftNameG_d | Type.Spine.TH |
Spine | Type.Spine.Base, Type.Spine |
spineType_d | Type.Spine.Base, Type.Spine |
spineType_d_ | Type.Spine.Base, Type.Spine |
spineType_gen_ | Type.Spine.Base |
spineType_pro | Type.Spine.Base, Type.Spine |
spineType_pro_ | Type.Spine.Base, Type.Spine |
toNameG | Type.Spine.TH |
tvb_kind | Type.Spine.TH |
tyConSignature | Type.Spine.TH |