testsuite/tests/typecheck/should_compile/T20661.hs-boot


1
2
3
4
5
6
7

{-# LANGUAGE FunctionalDependencies #-}

module T20661 where

-- Use an empty context to signify that this is not
-- an abstract class, but a class with no methods.
class () => C a b | a -> b