Type-checked non-empty strings (via pushcx) — discussion

#haskell