Add source code for an Idris version
Refine fromFoldM/toFoldM