{-# LANGUAGE TemplateHaskell, NoMonomorphismRestriction #-}
module T8831 where
foo = [| 3 |]