Monadic "double-bind"

Is it possible to resolve y as a function of f and x, if the monads N and M are one-way? x :: M (N X) f :: X -> M (N Y) -- pattern matching not allowed, one-way monads implied y :: M (N Y) y = _ Full definitions: data X = X data Y = Y -- pa...
more »

| haskell   | monads   2017-08-15 20:08 (0) Answers