singletons-2.3: tests/compile-and-dump/Singletons/PolyKinds.hs

module Singletons.PolyKinds where

import Data.Singletons.TH

$(singletons [d|
  class Cls (a :: k) where
    fff :: Proxy (a :: k) -> ()
  |])