Conat-coind and Conat-coind-wrong are not equivalents.