Я пытаюсь понять следующий фрагмент кода (из библиотеки Scalaz):
def kleisliIdApplicative[R]: Applicative[Kleisli[Id, R, ?]] = ...
Я предполагаю, что тип формы T[P0, ?]
является конструктором типа, который принимает параметр. Однако я не могу найти документацию, объясняющую использование вопросительных знаков в параметрах типа.
Связанный с этим вопрос: в чем разница между вопросительным знаком и подчеркиванием?
Есть ли место, где все это хорошо задокументировано?