Re: Type class for sanity

On Mon, Jan 25, 2016 at 7:34 AM, Richard Eisenberg wrote:

But I suggest a different name. Ground? Terminating? NormalForm? Irreducible? ValueType? I don't love any of these, but I love Sane less.

I'm also strongly opposed to using "sane". That name is ableist and quite offputting to many Haskellers I know (myself included). To say nothing of the fact that the name doesn't provide any useful understanding of what precisely it's supposed to be categorizing. -- Live well, ~wren