T9999.hs:13:38: error:
    No instance for (Typeable F1) arising from a use of ‘typeRep’
      GHC can't yet do polykinded Typeable (F1 :: k0 -> *)
    In the second argument of ‘(==)’, namely
      ‘typeRep (Proxy :: Proxy F1)’
    In the expression:
      typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)
    In an equation for ‘main’:
        main = typeRep (Proxy :: Proxy F) == typeRep (Proxy :: Proxy F1)