T11480.hs 155 Bytes
Newer Older
1 2 3 4 5 6 7 8 9
{-# LANGUAGE FlexibleContexts, UndecidableSuperClasses #-}

module T11480 where

class C [a] => D a
class D a => C a

foo :: C a => a -> a
foo = undefined