src post: https://programming.dev/post/5896373

type Wtf = Option<Option<Option<Option<Option<Option<Option<Option<()>>>>>>>>;
let two = Some(Some(Some(Some(Some(Some(None))))));
let three = Some(Some(Some(Some(Some(None)))));
let six = Some(Some(None));
unsafe {
    assert_eq!(
        std::mem::transmute::<Wtf, u8>(two) * std::mem::transmute::<Wtf, u8>(three),
        std::mem::transmute::<Wtf, u8>(six)
    );
}