## Blog: Ramón Soto Mathiesen

### Updated

With some input from Basile Henry, also attended the Meetup, I have made a few modifications to the code in order to support m :: * -> * ((a -> b) -> m a -> m b) as good as Elm allows us to do it, but without transitioning to a signature hell as seen in elm-data, see References for more information on that library.

As a fellow Coding Pirates volunteer, Hans Bugge Grathwohl , pointed out:

this can’t really be considered monads as there is no relation between a and ma as well as mb and mmb.

### References:

• Continuational. Lots of code, few words (Joakim Ahnfelt-Rønne blog):
• elm-data: Experimental implementation of generic operations for elm.
• elm-lang: Documentation