Что представляет собой эквивалент Haskell Generic Pattern Java?

Только что пришел вопрос о дженериках Java. Пример кода:

public interface A < T extends A < T> > {

}  

Связанный вопрос спрашивает о

Class Enum> ...

Когда я пытаюсь прочитать java-документацию об этих типах общих выражений, мои глаза тускнеют, и для меня это греческий язык.

Я надеюсь, что смогу понять их в терминах эквивалента Haskell!

Что является эквивалентом (или подобным) в Haskell одного или обоих этих примеров?