<div dir="ltr"><div>I.e. something like parseExpr :: String -> Either String Exp</div><div><br></div>It seems that a lot of trivial extensions could be made nicely if this was so. An example might be:<div><br></div><div>[ne| 1, 2, 3, ... |]</div><div><br></div><div>for a non-empty list statically checked to be non-empty. In there I could put any Haskell code. But presently I need to use HSE which isn't quite GHC Haskell and has a large foot-print. The alternative splice</div><div><br></div><div>$(ne [| [1, 2, 3, ... ] |])</div><div><br></div><div>is rather unwieldy. <br></div></div>