koher の例だと Optional<T> : Monad をみたそうとすると、 T -> U の flatMap で Generated<U> : Optional<T> って制約になっちゃってできなそう？