A library for checking that datatypes are deep strict using Template Haskell. Deep strictness is a helpful property for enforcing the absence of space leaks caused by excessive laziness.