module ShouldFail where

n x | True = x+1
    | False = True