> What if I just want to call an existing getData function that returns a Maybe, not some generic monad thing? Maybe is a Monad. In Haskell, Monad is sort of l

> What if I just want to call an existing getData function that returns a Maybe, not some generic monad thing? Maybe is a Monad. In Haskell, Monad is sort of like an interface (called typeclass) that a bunch of types implement. Maybe has an instance of Monad already, same with lists, and continuations, etc.