T17379b.hs:8:2: error:
    RecGadtC must have at least one constructor name
    When splicing a TH declaration: data T where :: {} -> T