module ShouldFail where

f [] = 1
f True = 2