fixed alpha substitution for implicits