+ MonadError
Files reorganized. Sample file reorganized.
Choice Functor fixed.