Types.Data.Num

reifyIntegralD

reifyPositiveD

reifyNegativeD