test for implicit resolution depending on effects