できないと言っていた汎用ファンクタができてしまった。 ArgType の定義で、インスタンス化した TypeArray.typeAt に typeof をかけているのがミソ。 （TypeArray の定義は 5-23 のと同じ） module doki.functor; import doki.typearray; class Functor(R, A…