You're correct. However, you would create a library and make map an interface and create implementations for the types you need. e.g. https://github.com/wavebitscientific/functional-fortran/blob...