{-# LANGUAGE TemplateHaskell #-}

module Bug where

import TH

data F f a = F (f a a a a)

$(show_kinds ''F)