extended F1Applicative to F1Monad (using the definition from Control.Monad.Reader)

git-svn-id: http://highj.googlecode.com/svn@180 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc