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