You may decrease coupling with the use of interfaces or type classes. This way you do not use concrete types in the construction, you link things with requirem

You may decrease coupling with the use of interfaces or type classes. This way you do not use concrete types in the construction, you link things with requirements on/between the parameters. Please take a look at the Expression Problem: https://en.wikipedia.org/wiki/Expression_problem https://en.wikipedia.org/wiki/Expression_problem This thing is an essence of question how to design low coupled system when initially high coupling is expected. There are solutions for most languages and, probably, for your statically typed language of choice (from statically typed languages).