Type class for sanity

[wren romano]

On Mon, Jan 25, 2016 at 7:34 AM, Richard Eisenberg <eir at cis.upenn.edu> 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