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

{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses #-}
module Decl.FunctionalDeps where

class C a b | a -> b, b -> a where
  trf :: a -> b