Aleksey Kliger (λgeek)

I think this is a good idea, though I think we'll need to break the API to make it happen. Not saying that it's off the table, just that we'll...

First step is to create a real test case.

This is worth exploring. I'd be curious to see a PR that got rid of the `Show` constraint.

I'm surprised if this is a recent change in behavior. I think this is in fact by design. The locally nameless representation only supports substituting terms that are well formed...

> Regardless, if this is intended behaviour, I can imagine a guard is appropriate that verifies that bound variables don't occur in the term that we substitute with. Something akin...

@erlandsona Sorry it took me a bit to get back to you. I'd love your help with maintaining this package. I'm a little bit concerned that you haven't contributed to...

> Aight > [1 - https://github.com/lambdageek/unbound-generics/pull/58](https://github.com/lambdageek/unbound-generics/pull/58) > [2 - https://github.com/lambdageek/unbound-generics/pull/59](https://github.com/lambdageek/unbound-generics/pull/59) > > I'm not sure if there's anything specifically I should be looking for with 2 tho. I bumped the...

> > Just not a lot of time to do long term maintenance and development. > > To be honest, I work a 9-5 and I have a 7mo old...

It's not by design, rather: * Read instances weren't in `Unbound` so I didn't add them to `unbound-generics` * For most of my own projects using `unbound-generics` I was not...

@TOTBWF I don't completely follow your example (maybe github isn't the best communication medium - do you have a pointer to a paper with an example language that I can...