package Ġcom . github . fs bar ata . functional . data Ċ Ċ interface ĠFun ctor < F , Ġout ĠA >: ĠIn variant < F , ĠA > Ġ{ Ċ ĉ fun Ġ< B > Ġmap ( f : Ġ( A ) Ġ-> ĠB ): ĠFun ctor < F , ĠB > ĊĊ ĉ override Ġfun Ġ< B > Ġinv map ( f : Ġ( A ) Ġ-> ĠB , Ġg : Ġ( B ) Ġ-> Ġ@ Unsafe Variance ĠA ) Ġ= Ġmap ( f ) Ċ } Ċ