implementation module cheat i :: !a -> b i x = code { .inline i no_op .end }