tcfail012.hs:3:
    Couldn't match `Bool' against `[t]'
	Expected type: Bool
	Inferred type: [t]
    in a pattern binding: []