cofree test OptionEqual was wrong, fixing