c2fId :: Id -> Id