singletons-base-3.5: tests/compile-and-dump/Promote/T613.hs

module T613 where

import Data.Proxy
import Data.Proxy.Singletons
import Data.Singletons.TH

$(promote [d|
  f :: forall k (a :: k). Proxy a -> Proxy a
  f x = y
    where
      y = x
  |])