Extensible_Eff_Applicative