[RehnoLindeque]

(Task x) has monadic structure, yes (see andThen, succeed). Naturally it also looks like Functor, Applicative, etc.

However, there is no way to work with monads in the abstract in Elm (yet), there is only the concrete API.

[CMCDragonkai]

If it has those primitives, why not just wrap them up into a bind operator?