strict-types

A type class for types T where forall x :: T . rnf x = ⊥ <=> rwhnf x = ⊥