Approved!

Thanks!

hi, look this
translation dart

Approved

.

Approved in Haskell!

forked and approved

Approved. Just keep an eye on the disclosure for any kind of discrepancies.

.

Approved!

Approved!

Thanks!

Approved the fork

If you were writing a complete stack including NonEmptyT, the implementation could probably be made to not need an outer ListGen, right?

I've been playing with it for several hours. It's a lovely piece of work! :]

Writing a custom monolithic newtype probably often ( I think ) allows optimisations that a stack doesn't. And looking at ASCIIStringT NonEmptyList, that ASCIIStringT had better map to ASCII instead of filter to it, or it's not guaranteed to maintain the non-empty invariant. Interactions may do unexpected things ..

If I'm extending QuickCheck, I'd go whole hog, write a NonEmptyT as well, and throw in an innermost Identity. If it's worth doing at all, it's worth taking it all the way to Identity, and possibly beyond.