singletons-base-3.4: tests/compile-and-dump/Singletons/T585.hs

module T585 where

import Data.Singletons.TH

$(singletons [d|
  konst :: forall a {b}. a -> b -> a
  konst x _ = x
  |])