Categories :: Incomplete I/O