FocusedContra
Focused on B
in the output F[B]
of linear function A -⚬ F[B]
, where B
is in a contravariant position.
Focused on B
in the output F[B]
of linear function A -⚬ F[B]
, where B
is in a contravariant position.
class Object
trait Matchable
class Any