Don't think it's practical/good to make people learn >>=, <$>, <*>, <|, <|* to decode JSON.
Alternative pragmatism:
Conversation
Replying to
What power specifically are you concerned about lacking? The ability to define a function over unknown monads?
Replying to
The ability to say
func fish<A, B, C, M : Monad>(f : A → M<B>, g : B → M<C>) → A → M<C>
1
Sure. I don't think that having that power will particularly help win industry engineers over to a monadic parser proposal.
2
Show replies
Replying to
You have to explicitly instantiate those M’s yourself. You lose the reason Monad is a Typeclass and just get a pattern