これ使ってモナドプロトコルってどうやれば作れる？↓とか？

protocol Monad { associatedtype Value associatedtype Generated<T>: Self where T == Value func flatMap<T>(_ transform: (Value) -> Generated<T>) -> Generated<T> }