-\r
-data Step s = Skip s\r
-\r
-next :: (s -> Step s) -> s -> Step s \r
-next next0 ss = match next0 ss with \r
- Skip ss -> Skip ss\r
- \r
-main = next (\x -> Skip x) (3 :: Integer)\r
---\r
+
+data Step s = Skip s
+
+next :: (s -> Step s) -> s -> Step s
+next next0 ss = match next0 ss with
+ Skip ss -> Skip ss
+
+main = next (\x -> Skip x) (3 :: Integer)
+--
3
\ No newline at end of file