heckAll :: [Int] -> [Int] -> [(Int, Int, Bool)]
-- original solution
--checkAll [] [] = []
--checkAll (i:is) (o:os) = (check i o):checkAll is os

-- other implementation proposed
-- the uncurry thing is still a bit strange to me
--checkAll i o = map (uncurry check) (zip i o)

-- or yet another function that I could use:
checkAll i o = zipWith check i o

checkAll :: [Int] -> [Int] -> [(Int, Int, Bool)]
checkAll i o = zipWith check i o
checkAll i o = zipWith check i o