Mealy dimap, inlining
ghci compat