singletons-base-3.3: tests/compile-and-dump/Singletons/T376.hs

module T376 where

import Data.Singletons.TH

$(singletons [d|
  f :: (() -> ()) -> (() -> ())
  f g = g :: () -> ()
  |])