testsuite/tests/indexed-types/should_compile/ColInference6.hs


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

{-# LANGUAGE TypeFamilies #-}

module ColInference6  where 

type family Elem c

type instance Elem [e] = e

class Col c where
  toList :: c -> [Elem c]


sumCol c = sum . toList $ c