Added MonadFix instances for V3 and V4
Added MonadFix instances for V0 and V1 (the easy ones)
V instance