Haskell doesn't distinguish the two. If you define Person with named fields including isValid, you automatically get a function named isValid that returns that

Haskell doesn't distinguish the two. If you define Person with named fields including isValid, you automatically get a function named isValid that returns that field, or you can write your own isValid function that examines the whole Person.