Field typeclass definition and its instances for basic types.
Explicit typeclass which implements group operations for type a.
a
float : Field Basics.Float
Construct real number field
trivial : Field ()
Construct trivial field