Control.Applicative.Poly

type family PolyBind m n :: * -> *

type MonoBind m

class PolyApplicative m n