fix memo module with boolean monoid instance