Added ReifiedMonadicFold and a few useful instances.