Is there a Haskell equivalent of OOP's abstract classes, using algebraic data types or polymorphism?

Question

In Haskell, is it possible to write a function with a signature that can accept two different (although similar) data types, and operate differently depending on what type is pa

Answer 1

It sounds like you might want to read up on typeclasses.