Exista in Haskell un fel de CAST pentru conversii de tipuri ca in C ?

Chiar daca nu este identic la efecte cu CAST-urile din C totusi puteti folosi ceva pentru a preciza carui tip trebuie sa-i apartina o anumita subexpresie.
n-ati ghicit cine ? vechea cunostinta: '::
Exemplu: 5 este ceva de tip numeric si este folosit de obicei cu sens de intreg.

Prelude> 5

5

In lipsa altor specificatii tipul sau este unul general, bazat pe apartenenta la clasa de tipuri Num.

Prelude> :t 5

5 :: Num a => a

Totusi il puteti transforma in real:

Prelude> 5::Float

5.0

Acum interpretorul il considera pe 5 real, adica 5.0.