Generalize type of goEffImpl