Natural Transformation type-class, IO models progress