These notes explain how to construct small functorial chain complexes which calculate the derived functors of destabilization (respectively iterated loop functors) in the theory of modules over the mod 2 Steenrod algebra; this shows how to unify results of Singer and of Lannes and Zarati.2000 Mathematics Subject Classification. Primary 55S10; Secondary 18E10. Key words and phrases. Steenrod algebra -unstable module -destabilization -iterated loop functor -derived functor -total Steenrod power.A =Ã / Sq 0 . This is again a homogeneous quadratic algebra. Moreover, it has the important property that it is Koszul. This notion, introduced by Priddy [Pri70], is at the origin of the existence of small resolutions for calculating the homology of the Steenrod algebra; the Koszul dual is the (big) Lambda algebra.The construction of the complexes introduced here is related to the quadratic Koszul nature of A and also to the relationship between the Steenrod algebra and invariant theory; many of the ideas go back to the work of Singer [Sin78, Sin80, Sin83] etc. Remark 2.1.1. The odd primary analogues depend upon the work of Mùi [Mùi86, Mùi75], which describes the (more complicated) relationship between invariant theory and the Steenrod algebra. See for example the work of Nguyễn H. V. Hưng and Nguyễn Sum [HS95] generalizing Singer's invariant-theoretic description of the Lambda algebra to odd primes, Zarati's generalization [Zar84] of his work with Lannes [LZ87] and the author's paper [Pow14].