Numeric.Ring.Endomorphism

data End a

toEnd

fromEnd

frobenius