type R = (->) main = return () f :: R a (R b a) f x y = x
Standard input is empty
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!