Applied new types
Fixed: liftIO != forkIO