1 2 3 4 5 6 7
{-# LANGUAGE TemplateHaskell #-} module T15815A where mkFoo tyQ = [d| foo :: a ~ $(tyQ) => a foo = undefined |]