Равны ли алгебраические типы данных в Haskell дискриминируемым объединениям в F #?

Я изучаю Haskell и хотел бы знать, совпадают ли конструкции, известные в Haskell как алгебраические типы данных, которые различают объединения в F # или там есть некоторые тонкие различия между ними.

Я также был бы признателен за хорошее сравнение между F # (моим первым функциональным языком) и другими функциональными языками, особенно в том, что касается схожих концепций, но с существенными, но важными различиями.