Constraint-level if statements in Haskell | Hacker News Reader