Use IterT from free 4.2