Changed the data constructor for Yoneda to Op{getOp}