precog/matryoshka

Add matryoshka-refined project.

sellout opened this issue · 0 comments

sellout commented

For instances on refined types.

E.g. Birecursive.Aux[Int With NonNegative, Option]