blob: f874a2ed42806c216f10b6ade54eb2632634f46b (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE FlexibleInstances, FlexibleContexts, UndecidableInstances,
TypeFamilies, FunctionalDependencies #-}
module T10778 where
type family F a :: *
class C a b | a -> b
instance C p (F q) => C p [q]
-- This instance should fail the (liberal) coverage condition
|