class Closeable[a: Type]
A trait for types that can be closed.
def close(x: a): Unit \ IO with Closeable[a]