haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/TypeClass.hs

{-# LANGUAGE TypeFamilies #-}
module Decl.TypeClass where

class EmptyClass a

class Show a => C a where
  type X a :: *
  type X a = Int
  data Q a :: *
  
  f :: a -> String
  f = show