totality013a.idr:5:3:
Main.foo is possibly not total due to recursive path Main.foo --> Main.mtot --> Main.mtot --> Main.mtot
totality013a.idr:9:3:Main.mtot is possibly not total due to: Main.foo