Finish going through IterDeriv.hs