Test identity monad
WIP identity trans