module ProAbstract.Structure.Fork
    ( Fork
    ) where

type family Fork a