Рекурсивный определение типа в Scala

Question

Предположим, что у меня есть этот код в Haskell, и я хочу, чтобы попытаться придумать что-то вроде этого в Scala:

data CatList q a = E | C a (q (CatList q a)) 

instance Queue q => CatenableList (CatList q) where 
    -- methods 

Обратите внимание, что CatList либо пусто, либо является элементом плюс очередь (как определено классом q) CatList s. В Scala, я пытаюсь сделать что-то вроде

sealed trait CatList[+Q, +E] 

object Empty extends CatList[Nothing, Nothing] 

case class C[Q[_], E](x: E, q: Q[CatList[Q, E]]) extends CatList[Q[???], E] 

но проблема в том, Q[_] принимает параметры, так что мне нужно, чтобы обеспечить что-то в предложении extends, что приводит к CatList[Q[CatList[Q[???], E], E], который сбивает с толку.

Я могу попробовать подход Haskell, говоря, что Q[_] не что иное, как тип, и идти с

sealed trait CatList[+Q[_], +E] 

object Empty extends CatList[Nothing, Nothing] 

case class C[Q[_], E](x: E, q: Q[_]) extends CatList[Q[_], E] 

но терпит неудачу с

Error:(16, 56) Q[_] takes no type parameters, expected: one 
    case class C[Q[_], E](x: E, q: Q[_]) extends CatList[Q[_], E] 
                ^

Таким образом, вопрос, есть ли способ обойти это?

Answer 1

Вам нужно

sealed trait CatList[+Q[_], +E] 

object Empty extends CatList[Nothing, Nothing] 

case class C[+Q[_], +E](x: E, q: Q[CatList[Q, E]]) extends CatList[Q, E] 

[_] имеет различные значения в объявлении параметра типа как trait CatList[+Q[_], +E] («Q является конструктором типа„) и используется как extends CatList[Q[_], E] (“Q с неизвестным параметром»).