EをAとBそれぞれのメソッドから型が推論出来るが制約レベルが同一なため決定できない→ambitious

3:36 AM

これ困ってる理由は、ObserverとObservableTypeで