I guess the complaint is that Java-like languages would let you write the type declaration as

  Double exp(Double base, Double exponent)

while the Haskell syntax for types doesn't provide a place to write down names for arguments. Perhaps a nice fix would be to add Agda-style syntax for arrow-types, like

   exp :: (base : Double) -> (exponent : Double) -> Double

At some point we will want to add dependent types anyway. :)