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.)