On October 25, 2016 3:32:00 AM EDT, ace_coder <[email protected]> wrote:
>C[+T](...) {
>    type B <: T
>
>    val innerObj: EitherT[F, A, B]
>}
>
>Something like the above could work, right? But I was hoping for a
>cleaner 
>solution -- one that didn't require an entirely new class.

type Method[+T] = EitherT[F, Int, _ <: T]

should compile.
--
Stephen Compall
If anyone in the MSA is online, you should watch this flythrough.

-- 
You received this message because you are subscribed to the Google Groups 
"scalaz" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/scalaz.
For more options, visit https://groups.google.com/d/optout.

Reply via email to