У меня с Haskell плохие воспоминания. :) Так что лучше без него давайте обойдёмся. :)
верю, не знаю, но на мой вкус синтаксис, и типы, мне нравятся. Я могу проще сказать, практически только на примере Haskell я могу более менее понять АДТ, тайп классы и все сопутствующее. Почему-то там это выглядит просто, без лишнего, и объясняется просто.