Интересное замечение, спасибо!

Там действительно вместо (Untyped x) будет матчиться x wrapped типа, значит undefined просто не будет выполнен.

Надо запомнить - pattern matching для newtype ленив, если он в виде (C a) ;-)