f x | predicate1 = expression1 | predicate2 = expression2 | predicate3 = expression3f x | predicate1 = case () of -- () can only evaluate to () () | predicate2 -> a | otherwise -> b | otherwise = c
f x | predicate1 = expression1 | predicate2 = expression2 | predicate3 = expression3f x | predicate1 = case () of -- () can only evaluate to () () | predicate2 -> a | otherwise -> b | otherwise = c