StateT! counting evaluation