[Haskell-cafe] question on types

[Daryoush Mehrtash]

Is there a way to define a type with qualification on top of existing type
(e.g.  prime numbers)?   Say for example I want to define a computation that
takes a prime number and generates a string.   Is there any way I can do
that in Haskell?

thanks,

Daryoush
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090217/6cde90d1/attachment.htm