co/contravariant QC with working fund-transport-id case for Pi