+++ /dev/null
-import "JavaBuiltin" as Java\r
-\r
-infixl 6 (+)\r
-\r
-class Additive a where \r
- (+) :: a -> a -> a \r
- \r
-instance Additive Double where\r
- x + y = Java.dadd x y\r
-\r
-instance Additive Integer where\r
- x + y = Java.iadd x y\r
- \r
-main = ((1.0 :: Double)+(2.0 :: Double),(3::Integer)+(4::Integer))\r
---\r
-(3.0,7)\r
-\r