1 2 3 4 5 6 7
{-# LANGUAGE TemplateHaskell, UnboxedTuples #-} module TH_unboxedSingleton where f :: () -> (# Int #) f () = $( [| (# 3 #) |] )