-
johnvg@science.ru.nl authored
restrict default instances to instances with at least one type variable argument, only type constructors at the root, and all type variables are used once, fix instance lookup of other instances: search if no instance was found in the instance group
ab86763f