trait ĠInv < I > Ċ Ċ fun Ġ< T > Ġget T (): ĠT Ġ= Ġnull !! Ċ Ċ val Ġfoo Ġ= Ġget T < Inv < out Ġ(( Inv < Int >) ?) >>() Ċ /* Ċ psi : Ġval Ġfoo Ġ= Ġget T < Inv < out Ġ(( Inv < Int >) ?) >>() Ċ type : ĠInv < out ĠInv < Int > ?> ĊĠĠĠ Ġtype Parameter : Ġ< I > Ġdefined Ġin ĠInv ĊĠĠĠ Ġtype Projection : Ġout ĠInv < Int >? ĊĠĠĠ Ġpsi : Ġval Ġfoo Ġ= Ġget T < Inv < out Ġ(( Inv < Int >) ?) >>() ĊĠĠĠ Ġtype : ĠInv < Int >? ĊĠĠĠĠĠĠĠ Ġtype Parameter : Ġ< I > Ġdefined Ġin ĠInv ĊĠĠĠĠĠĠĠ Ġtype Projection : ĠInt ĊĠĠĠĠĠĠĠ Ġpsi : Ġval Ġfoo Ġ= Ġget T < Inv < out Ġ(( Inv < Int >) ?) >>() ĊĠĠĠĠĠĠĠ Ġtype : ĠInt Ċ */