Data type modifiers for property based testing
https://hackage.haskell.org/package/testing-type-modifiers