Функция идентификации уровня типа Scala в параметре типа

Я могу объявить абстрактный тип, такой как

type A[B]

, и в подклассе определить его как

type A[B] = Option[B]

, если Я хочу, чтобы А был Вариантом. И если я хочу, чтобы A был самим B, я могу сделать это:

type A[B] = B

Могу ли я добиться того же с параметрами типа вместо членов типа?