testsuite/tests/typecheck/should_fail/tc168b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts #-}

module ShouldFail where

class C a b where { op :: a -> b }

g a = get (op a)

get :: (u,v,w,x,y,z) -> u
get (u,_,_,_,_,_) = u