(Как) можно представить монады в Scala в общем виде (например,Monad класс типов в Хаскеле)? Можно ли как-то определитьtrait Monad для этого?