constructors are automatically tested via `pure` i...
# arrow
r
constructors are automatically tested via
pure
in most laws