on d72cbbf help sign in
elk/tests/Tests/Property
1 file
../ Arbitrary.hsalso should be able to check both sub-types are valid