Issue with typing of mempty in #243