Check codatatypes' projections. After #16
Check codatatypes' projections. After #16