implicit-parameters paper