What's the goto for #GenericProgramming in #PureScript ? The prelude module (https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.Generic.Rep) 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. #Scope #Bound #deBruijn
#genericprogramming #purescript #scope #bound #debruijn