singletons-base-3.5.1: tests/compile-and-dump/Singletons/T229.hs

module T229 where

import Data.Singletons.Base.TH

$(singletons [d| ___foo :: Bool -> Bool
                 ___foo _ = True |])