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

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

module FunctionalDependenciesBidirectional where

class Iso a b | a -> b, b -> a where
  to :: a -> b
  from :: b -> a