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

module Singletons.T145 where

import Data.Singletons.TH
import Data.Kind

$(singletons [d|
  class Column (f :: Type -> Type) where
    col :: f a -> a -> Bool
  |])