How do I constrain a covariant type to invariant type so that I can pass it as a type parameter to EitherT?
Something of the form: type Method[+T] = EitherT[F, Int, T] // Error: Usage of covariant type in invariant position. Is there a lambda expression that would allow me to further constrain T before passing it to EitherT? Thank you for your time and consideration! -- 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.
