New posts in Higher Order Types

Why can the Monad interface not be declared in Java?