PropCheck needs to return the matched type, not the actual one