Adding cofree and better options