Scrappy initial playing around. Started to move to EitherT
Split into a few modules. Move some more stuff into the FAMonad