blob: 209ca3fe008155fa7969abbde73dac94993ccead (
plain)
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)
|