Started with new type implementation
Applied new types
Fixed: liftIO != forkIO