Type.Spine

type family Spine t

data Atom t

data tc :@ t

spineType_d

spineType_d_

spineType_pro

spineType_pro_