Assertion DSL for complex conditional

assertion dsl

import Data.Maybe (isJust)

assert :: Bool -> Maybe ()
assert True = Just ()
assert False = Nothing

checkAssertions :: Maybe () -> Bool
checkAssertions = isJust

checkMatch :: Person -> Person -> Bool
checkMatch seeker candidate = checkAssertions $ do
    assert $ gender candidate == preferedGender seeker
    assert $ gender seeker == preferedGender candidate
    assert $ minAcceptableAge seeker <= age candidate
    assert $ maxAcceptableAge seeker >= age candidate
    assert $ minAcceptableAge candidate <= age seeker
    assert $ maxAcceptableAge cadidate >= age seeker