idris-1.3.3: test/totality023/expected.out

totality023.idr:9:1-10:27:
  |
9 | run (Do x f) = do r <- x
  | ~~~~~~~~~~~~~~~~~~~~~~~~ ...
Main.run is possibly not total due to recursive path Main.run --> Main.run