testsuite/tests/typecheck/should_fail/FDsFromGivens2.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, GADTs #-}

module FDsFromGivens2 where

class C a b | a -> b where
   cop :: a -> b -> ()

data KCC where
  KCC :: C Char Char => () -> KCC

f :: C Char [a] => a -> a
f = undefined

bar (KCC _) = f