Is there a way to define a type with qualification on top of existing type (e.g.&nbsp; prime numbers)?&nbsp;&nbsp; Say for example I want to define a computation that takes a prime number and generates a string.&nbsp;&nbsp; Is there any way I can do that in Haskell?<br clear="all">
<br>thanks,<br><br>Daryoush<br>