Не можете получить общий для этого типа?

yairchu спросил: 03 ноября 2018 в 09:51 в: haskell

Компиляция этого короткого фрагмента в GHC 8.6.2:

{-# LANGUAGE DeriveGeneric, PolyKinds #-}
import GHC.Genericsdata Foo f
    = FA
    | FB (f (Foo f))
    deriving (Generic, Generic1)

приводит к этой ошибке:

Can't make a derived instance of ‘Generic1 Foo’:
  Constructor ‘FB’ applies a type to an argument involving the last parameter
                   but the applied type is not of kind * -> *

Это невозможно? вывести Generic для таких типов? Почему?


0 ответов