(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.