Either<T,F>が採用されるのか、TとFの共通の型が採用されるのか、或いはその両方か