Combining constraints in PureScript Indeed I can!type App a b = a binfixr 0 type App as :=>f :: forall m. MyM m :=>… Continue Reading =>, monadbar, monadbaz