module ShouldFail where

True = []