1 2 3 4 5 6 7
{-# LANGUAGE TemplateHaskell, TypeFamilies #-} module T15433a where import T15433_aux ( wild ) type T = $wild