module ShouldSucceed where

v | True = v+1
  | False = v