Crypto.Lol.Types.PrimeField

type PrimeField fp

type family CharOf fp :: Nat

class IrreduciblePoly fp

taggedProxy

data X

(^)