What is this abstract data type called?...

Reutilizing same c ADT for other types...

Best way to implement ad-hoc polymorphism in Haskell?...

Co- and contravariant types in generic priority queue...

I cannot understand the point of this simple code...

Lists in Haskell : data type or abstract data type?...