ちょっと、圏の定義をやってみますね。

6:40 AM

圏の対象を、swiftの"型"とします。

6:40 AM

このとき、たとえば、 (Int -> Int)みたいなものも対象に入ってますか?