unified name of implementation function in js and hs output file