I put this into ghci
makeTriple :: a -> b -> c -> (a,b,c)
makeTriple x y z = (x,y,z)
then as expected
> :t makeTriple
: makeTriple :: a -> b -> c -> (a, b, c)
but then on a whim I try this
> :t (makeTriple 123 "Hi" 234.0)
(makeTriple 123 "Hi" 234.0)
:: (Fractional c, Num a) => (a, [Char], c)
I retry
> :t (123,"Hi",234.0)
(123,"Hi",234.0) :: (Fractional c, Num a) => (a, [Char], c)
What is this telling me? I'm not experienced enough to decode this.
LB