Report question

Question: couldn't match expected type (Int -> Int -> Int) with actual type `(t0, t1, t2)'