3 ms·@mastax, you could model pointer dereferencing as an effect and require dereferencing null pointers to trap.by microcow 6y ago@mastax, you could model pointer dereferencing as an effect and require dereferencing null pointers to trap.