？一気にレベル上がったな
>>115
よくわからんが、型を集合（Set圏の対象）と考える場合、HaskellのFunctorは
型から型（集合から集合）への対応で、Set圏で完結していると考えられるから
基本無理なんじゃない？
あるとしたら集合からなにか別の対象を構成して圏自体を構成するとか必要になるのじゃないかと思う。