On Sun, 3 Sep 2017, Tony Morris wrote:
Why not:
class isString1 a where fromString1 :: NonEmpty Char -> a
This would be a clean solution. GHC could reject empty string literals.
(Though I do not know how difficult or sensible it is to extend GHC this
way.)
