Follow up on typelevel/cats-effect#1361 (comment)

Let tofu-optics users do this:

import tofu.optics.syntax.tupleN._

val lense = Tuple3._2[Int, String, Long]   // : Contains[(Int, String, Long), String]

tupleN object should contain all possible implicit extensions to Tuple{N} companion objects. Implementations should be macro generated.

Parent issue: #335
Every plugin must be able to use all properties to construct the exact PSI element being fed in to achieve isomorphism between Quote and Scope. To ensure that AST parsing and our quote-and-template system is robust, more testing is needed to increase stability and reliability.

Checklist for WhenExpression

• Destructure and make available all methods related to re

Hi Taine,

In one of your example, you have

@trait Addable{L, R} begin
    (+) :: [L, R] => Any
    (+) = Base.:+
end

I'd like to do something like this, but avoid the Any. I was thinking something like

@trait Addable{L, R, X} where {X = inferAddable(L,R)} begin
    (+) :: [L, R] => X
    (+) = Base.:+
end

But then I'm having trouble getting the `@i