import "JavaBuiltin" as Java infixl 6 (+) class Additive a where (+) :: a -> a -> a instance Additive Double where (+) = Java.dadd instance Additive Double where (+) = Java.dadd -- 11:1-12:20: Duplicate definition of the instance Additive Double.