1 2 3 4 5 6
{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeFamilies #-} module T14817 where $([d| data family Foo :: * data instance Foo :: * |])