I&#39;d like to define an abstract type T, and some how make the following work:<div><br></div><div>&gt; 3 :: T</div><div>-- allow integer literals to be read as values of type T</div><div><br></div><div>&gt; 100 :: T</div>

<div>error: value out of bounds for type T</div><div>-- place some restrictions on which integers are valid T values</div><div><br></div><div>To get the first feature, is my only option to make T an instance of the Num class? If so, I&#39;d have to make fromIntegral return error for out of bounds values. Is there any problem in doing that? The only law I find mentioned for instances of Num is: abs x * signum x == x. Is this the complete requirement?</div>

<div><br></div>