test1:: Eq a => a -> b -> b test1 x y = y test2 = test1 (3::Int) -- The type inferred for test2 is () -> () -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTĘPCZA QRCZAK