What's the goto for in ? The prelude module (pursuit.purescript.org/package) doesn't seem to have any instances, so I'm guessing it is not much used?

Or, am I really expected to patch prelude for my `Generic Unit _` instance?

Just trying to `show` and `Scope` from `Bound` module.

#genericprogramming #purescript #scope #bound #debruijn

Last updated 1 year ago