sentences:  Similarly, in
  two single-parameter functions are generated.The interpreter understands in each case which of the divide operator's two parameters is being supplied, giving functions which respectively divide a number by two and return its reciprocal.Although Miranda is a strongly typed programming language, it does not insist on explicit type declarations.