Hi I thought [1, 2, 3] :: [Int] GHC says it's (Num t) > [t] Okay, when it comes to 3.3:[1,2,3] (Num t) => [t] makes more sense. Is that the only reason? Cheers, Paul