Apparently it's called &. StateT