Haskell: Ableiten zeigen für Fix-Typen

Question

Ich versuche, einen rekursiven Datentyp mit zu implementieren. Ich würde gerne in der Lage sein, es zu drucken.

import Data.Functor.Foldable 

data T1F a = Foo deriving Show 
type T1 = Fix T1F 
data T2 = Bar T1 deriving Show -- error here 

Fehlermeldung:

No instance for (Data.Functor.Classes.Show1 T1F) 
    arising from the first field of ‘Bar’ (type ‘T1’) 
Possible fix: 
    use a standalone 'deriving instance' declaration, 
    so you can specify the instance context yourself 
When deriving the instance for (Show T2) 

Wie kann ich machen T1Show ableiten?

Answer 1

das Paket mit deriving-compat:

{-# LANGUAGE TemplateHaskell #-} 
import Data.Functor.Foldable 
import Text.Show.Deriving 

data T1F a = Foo deriving Show 
$(deriveShow1 ''T1F) 
type T1 = Fix T1F 
data T2 = Bar T1 deriving Show