Data.Category.Void
data
Void
a b
magic
voidNat
data
Magic
k