[contravariant]

Ah you need division for the extractability, fair enough. Though if it can be extended to arbitrary groups the field structure can't be crucial.