--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+(+) = Java.iadd\r
+(-) = Java.isub\r
+(*) = Java.imul\r
+\r
+data List a = Nil | Cons a (List a) \r
+\r
+compose :: List (a -> a) -> a -> a\r
+compose Nil x = x\r
+compose (Cons h t) x = compose t (h x)\r
+\r
+succ x = x + 1\r
+prec x = x - 1\r
+double x = x * 2\r
+\r
+f = compose (Cons succ (Cons double (Cons prec Nil)))\r
+main = f 13\r
+--\r
+27
\ No newline at end of file