{-# LANGUAGE TemplateHaskell #-}

type Foo = $(bar [t|Int|])