Explain types of each argument and return value types.