system module cheat

i :: !b -> a