StateT: distinct' and distinctF