{-# LANGUAGE TemplateHaskell #-} module T12411 where pure @Q []