@hackage strict-types0.1.0.4

A type level predicate ranging over strict types

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