module
ProAbstract.Structure.Fork
(
Fork
)
where
type
family
Fork
a