Utilities for modeling stateful applications.
{ businessLogic : k -> Maybe s -> c -> ( k , Maybe s , e ) }
Type that represents a stateful application.