sheaf opened this issue 3 years ago · 1 comments
This is useful for constructing a typeclass dictionary. The documentation for constructing class dictionaries could also be expanded somewhat.
Added in ccc23d7.