definition module IterableClass

class step a :: !a -> a
class rewind a :: !a -> a

stepn :: Int !a -> a | step a
rewindn :: Int !a -> a | rewind a

stepOrRewindn :: Int !a -> a | step, rewind a