fun main () = case #"A" of #"B" => return | _ => return A!