Avatar
ちょっと、圏の定義をやってみますね。
6:40 AM
圏の対象を、swiftの"型"とします。
6:40 AM
このとき、たとえば、 (Int -> Int)みたいなものも対象に入ってますか?