cannot just add random function calls thanks to contexts, instantiation etc. hence adding type binding for arguments
why is overloading totally broken?