import "JavaBuiltin" as Java

infixl 7 (*)
infixl 6 (+)

(+) :: Double -> Double -> Double
(+) = Java.dadd
(*) :: Double -> Double -> Double
(*) = Java.dmul

importJava "java.lang.Math" where
    sqrt :: Double -> Double
    sin :: Double -> Double
    cos :: Double -> Double

square x = x * x

length x y = sqrt (square x + square y)

pythagoras a = length (cos a) (sin a)

main = pythagoras 2.0
--
1.0