added MonadTall and config
mishmash from emacs