typeclasses

I think that cats.effect.std.Random.javaUtilConcurrentThreadLocalRandom might call a ThreadLocalRandom from the incorrect thread. Its unlikely this would cause any problems on OpenJDK, since there every ThreadLocalRandom is the "same", but... it's still not allowed, and who knows what other JVM-s might do.

I think this could happen in the following way. Inlining a few things, what it do

https://github.com/readthedocs/recommonmark#recommonmark

We should switch to myst: https://github.com/executablebooks/MyST-Parser

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