'io' is unnecessarily monomorphic