fun handler x = return You entered: {[case x.A of None => "nothing at all" | Some v => v]} fun main () = return A B