packages feed

haskell-tools-builtin-refactorings-1.0.0.0: examples/TH/ClassUse.hs

{-# LANGUAGE TemplateHaskell, FlexibleInstances #-}
module TH.ClassUse where

class C a where
  f :: a -> a

$([d|
    instance C a where
     f = id
 |])