intoMaybe -> intoFunctor (thanks @goshakkk)
better transaction explanation in readme