nil punning solves the issues types solve much more ergonomically

attention to types is nonsense

it should just be attention to should-this-even-execute

erlang's let-it-fail is right