IZE is an evil adapter between pure and IO values
small victory: diffIO actually works!

Diff> diffIO (return True) (return False)
Ins !False $ Del !True $ End