aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/FunctionalDependencies/fundep-empty-right.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}

module FunctionalDependenciesEmptyRight where

class KeepLeft a b | a -> where
  keepLeft :: a -> b -> a