module ShouldFail where

(a:[]) = 1