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 syn

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. :)