assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)