"What Does fmap Preserve?"