Type.Spine.Base

type family Spine t

data Atom t

data tc :@ t

spineType_d

spineType_d_

spineType_pro

spineType_pro_

spineType_gen_