Java's CompletableFuture is a Monad given its methods thenCompose and thenApply, which correspond to >>= (bind) and fmap in Haskell. It is a well known fact that any Monad gives rise to an Appli...

What is the point of making Functor a super class of Applicative and Monad. Both Applicative and Monad immediately imply the only implementation of Functor that abides by the laws as far as I can tell...