testsuite/tests/typecheck/should_run/tcrun001.hs


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

-- !! Test for (->) instances

module Main where

class Flob k where
  twice :: k a a  -> k a a

instance Flob (->) where
  twice f = f . f

inc :: Int -> Int
inc x = x+1

main = print (twice inc 2)