fun x | x == 8 = 3