Control.Monad.Union

data UnionM l a

data Union a

class MonadUnion l m

data Node

run

run'