Add monad λ.identity test and example