Как читать сложный тип [TwinMonad [p0 $$, p1 $$] F [Any, p0 $$, p1 $$]] в scala?

Question

Кто-нибудь знает, что означает этот тип Scala? Идея подсказывает мне тип, но я не могу понять, что это значит.

      [TwinMonad[p0$$, p1$$] F[Any, p0$$, p1$$]]

1. Что значит p0$$ иметь в виду?
2. Почему выражение TwinMonad[p0$$, p1$$] отдельно от F[Any, p0$$, p1$$] только с пробелом, как я могу прочитать этот синтаксис?
3. Не могли бы вы посоветовать несколько человек, документы, руководства, где вы можете получить исчерпывающее руководство по чтению сложных типов Scala ...
4. Что печатает F[_,_][Long]иметь в виду? Что означают последовательно записанные параметры? Параметры типа каррирования ??

(добрый проектор установлен)