mapsucc :: [Int] -> [Int] なんだから mapsucc [[], [], []] の [[], [], []]は[Int]型だと思って評価しようとするんだけど、
[[], [], []] :: [Int] であるためには [] :: Int でないといけない。
だけど[]は[a]であってIntではない。よって型の不一致(Couldn't match `Int' against `[a]')