Many typeclasses are parametric to kinds and not c...
# kapt
r
Many typeclasses are parametric to kinds and not concrete values