[Haskell-cafe] Ada-style ranges

[haskell at kudling.de]

Hi list,
 
how would you describe Ada's ranges in Haskell's typesystem?
http://en.wikibooks.org/wiki/Ada_Programming/Types/range
 
I feel, you can not because this is a runtime property.
 
Bye,
Lenny
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100426/e6d77fd9/attachment.html