> f :: [input] -> state -> outputs.. or with state monad m it could be a combination of

f :: [input] -> m outputs

f :: [input] -> outputs  - for intermediate results where state is not R/W