module ProAbstract.Structure.Plain
    ( Plain
    ) where

type family Plain a