型E が E is Error であるときに限り、型 Box は From <E> である