#$ Record deconstruction with ADTs. # 777 # True IMightHave an-int Maybe I32 a-bool Bool rec = IMightHave { an-int: Just(777), a-bool: True } case rec { an-int: None, a-bool: bol } println(bol) { an-int: Just(x), a-bool: bul } println(x) println(bul)