Removed the public state parameter

This parameter was thought for the level that is passed before the
actual value is unfolded. In the case the level is needed during the
unfolding, a value of type (Level -> Level) can be returned.