@hackage strict-types0.1.0.6

A type level predicate ranging over strict types

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