Overhaul Summary interfaces
Add MonadFix intance