Roman Cheplyaka

Well, it is _the_ way at the moment. I don't have the resources to investigate whether and how this can be implemented, but you can look into it yourself if...

@demokritos why do this instead of https://github.com/feuerbach/regex-applicative/issues/30#issuecomment-182798229?

Yeah, I think it could be possible. My answer is the same as 4 years ago (wow, time flies!): I'd consider a carefully motivated and implemented pull request, but I...

I think at this point we should ask whether, even if this functionality is added, monad-control can add something over monad-unlift or unliftio.

Yeah, I think I'd be open to that. My two concerns are: 1. Ensuring that this new package itself is lightweight — i.e. it doesn't add any other transitive dependencies...

> Is there new thought are plans with this issue? Not really. > I'm having a Text-based test where the current way of generating chars 'a'..'z' is enough. In that...

It would be nice indeed, but this instance is needed to be able to test higher-order functions. (Note the Show constraint in `instance (Serial m a, Show a, Testable m...

This has now become a real problem. Some of tasty's dependencies (I don't know which one) apparently imports `Text.Show.Functions` which contains a conflicting Show instance for function. So an attempt...

Here are two approaches that I can think of: - When generating a function, store the additional information (such as the inspected size of the argument and the default value)...

FYI, I started working on this in my fork (as you can see above). I'll let you know once I finish.