import "Prelude"

main = typeOf (\(a,b) -> a+b :: Double)
--
(Double, Double) -> Double