Я так понял @int_index  говорил о типе, а сигнатуру функции я и в терминале могу посмотреть.

Правда в этой функции в hoogle какая-то странная сигнатура.

а где объявление конструктора типа?

"MyType a" ?

я хочу Stream a = a :& Stream a, но компилятор (7.10.3) говорит, что :& неразрешен в этой конутрукции

Работает!!!

Возвращаясь к этому. Не совсем ясно, почему мы будем таскать за собой vtable.

Допустим, есть наш любимый тип:

data MyType a where
   MyType :: Num a => a -> MyType a


Ведь, когда мы создаем значение, то конкретный тип известен compile-time:

> let a = MyType (123::Int)
> :t a
=> a :: MyType Int

И чтобы его использовать нам вроде не нужен никакой vtable, т.к. все известно статически.

И, если это не так, то как оно происходит на самом деле? : )

Ты когда значение это создал, то vtable положилось в него. Сейчас статически тип известен, а через 2 строки ты в forall его обернешь и хрен там.

А в чем тогда отличие от не GADT?

Без GADT словарик в каждую функцию передается, но если тип статически известен, то срабатывает инлайнинг обычный

А если я ничего в forall не заворачиваю?

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

Но подозреваю, что GHC в этом случае оптимизаций не выполняет, т.к. такое на практике едва ли вылезет когда-либо

о каком словарике вы говорите?

Словарь методов

vtable

Структура, в которой хранятся методы класса для конкретного типа

Напр., для Eq можно рассмотреть

data EqDict a = EqDict { (==) :: a -> a -> Bool; (/=) :: a -> a -> Bool }