monad reader-ized.
prefix the lens maker functions.
this monad defined.
working lookup monad.