- Implementing basic layer structure
- Tried to add communication between IO and Process monad through IORef, MVar,
still have problems with laziness...