module ShouldFail where

c (x:y) = x
c z = z