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