singletons-2.5: tests/compile-and-dump/Promote/T361.hs

module T361 where

import Data.Proxy
import Data.Singletons.TH

$(genDefunSymbols [''Proxy])

$(promote [d|
  f :: Proxy 1 -> Proxy 2
  f Proxy = Proxy
  |])