后的一行，codice_2，表示这个变数codice_3的type是String。最后一行表示这个变数是“Hello, world!”。因为这里无指定用GUI，所以这句“Hello, world!”会显示在控制台（console）之中。阶乘:斐波那契数列：中缀算子：(^) infixr 8 :: Int Int -> Int(^) x 0 = 1类型声明声称了这个函数是右结合中缀算子，具有优先级8：这声称了codice_4等价于codice_5而不是codice_6。这个算子预定义于C