Very few languages let you write a function that works for both Option and for other not particularly related monadic types (e.g. Future), while being fully typ

Very few languages let you write a function that works for both Option and for other not particularly related monadic types (e.g. Future), while being fully typesafe, which is what I'd call "having monads".