error : a -> bool
error _ = True