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