singletons-base-3.2: tests/compile-and-dump/Singletons/T33.hs

module Singletons.T33 where

import Data.Singletons.TH
import Prelude.Singletons

$(singletons [d|
  foo :: (Bool, Bool) -> ()
  foo ~(_, _) = ()
  |])