type IsFatOscillator = < Osc ,  Ret > IsFatOscillator<Osc, Ret>