Constraint-level if statements in Haskell | Heykuki News