totality023.idr:9:1:
Main.run is possibly not total due to recursive path Main.run --> Main.run