Optionalとラップされた型にサブタイピング関係があることでどういうときに困るんでしたっけ？