[Haskell] Help

I need to write the function that has the P -> P type where the type P means prime numbers. There is the question: how to define P in haskell?

>>9
>use a different language that has dependent types
Which, for example? And please show how to define the type P in such language.