Test IO traverse
Added conversion from io to P1 and TryCatch0