Add `IO` data type

[marcosh]

Define IO data structure. The easiest encoding could be done using thunks, as in https://gcanti.github.io/fp-ts/modules/IO.ts.html

• [x] Functor instance
• [x] Apply instance
• [x] Applicative instance
• [x] Monad instance
• [ ] Alternative instance