@hackage strict-types0.1.0

A type level predicate ranging over strict types

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