Control.Super.Monad.Constrained.Alternative

class AlternativeEmpty f

class AlternativeAlt f g h