1 2 3 4 5 6
{-# LANGUAGE TemplateHaskell, GADTs #-} module T15815B where import T15815A mkFoo [t| Int -> Int |]