Data.Type.List.List
data
Nil
data
r
:>
a
type family
r1
:++:
r2
proxyCons