Add tests.
Modify comments.
Refactoring

Wrap FD monad with newdata.
Refactor lifting.