free-monad-on-app-level-code