inferred funtypes added