module ShouldFail where

True = []
