Huh? A monad isn't a sealed class, it's a generic type equipped with the functions bind and return...