Closed mitchellwrosen closed 6 years ago
I think it would make the library a bit friendlier to beginners :)
Maybe, but at this point I'd rather prefer to keep the API stable than to change it. The current approach allows a bit nicer organization of code and a single unRText
function for unwrapping. I'm not entirely convinced that indexing by types obtained with DataKinds
vs simple newtypes makes a big difference for beginners.
Sounds good. I'll close this issue out.
Hi, would you accept a patch that replaces the
RText
machinery with a bunch of newtypes? i.e.I think it would make the library a bit friendlier to beginners :)