case classFlatMapped[R, Q, N, M](f: (Q) ⇒ N, m: M)(implicit monad1: <:<[M, Monad[Q]], check1: IsConcreteType[M], monad2: <:<[N, Monad[R]], check2: IsConcreteType[N]) extends Sig[R, Q, N, M] with Product with Serializable
defflatMap[S, Q, N, M](f: (R) ⇒ Sig[S, Q, N, M])(implicit monad3: <:<[M, Monad[Q]], check3: IsConcreteType[M], monad4: <:<[N, Monad[S]], check4: IsConcreteType[N]): FlatMapped[S, R, Sig[S, Q, N, M], This]