runActionUntilMaxSteps : Materialise p => ScientificDisplay p => ScientificDisplay l => {default 100 _ : Nat} -> (p -> IO p) -> Nat -> Nat -> p -> (p -> IO l) -> IO p