An experiment with mixing value level typeclasses and implicit parametersgist.github.com1 pointsetra8 years ago