a typeclass for manifesting constant values and unit types
this is the unit type of the constant
this is the numeric value of the constant