Non-exhaustiveになるんです。
多分間違い : (x:xs) == [] && (y;ys) == [] = 0?
g [1,2,3:[]] [4,5,6:[]] -> (1*4 + 2*5 + 3*6 + []* [] ) -> 32になるはず