1 2 3 4 5 6 7 8
def identity_top : Top -> Top = fun t => match t with top => top def identity_bot : Bot -> Bot = fun b => match b def main : Top = identity_top top