natField Prelude.Types.Nat
boolField Bool
