YOU SAID:

A functor is something that for any type a can construct the type f a and for any function of type a → b can construct a function of type f a → f b (with a few further irrelevant constraints).(edited)

INTO JAPANESE

ファンクタは、(いくつかのさらに無関係な制約) とタイプ f → f b の関数を構築できることができます任意のタイプの f 型 → b 型の任意の関数のとを構築する何かです。(編集)

BACK INTO ENGLISH

Functor (some more extraneous constraints) and something to build any function type b and f-you could build a function f b-> type can be of any type. (Edit)

INTO JAPANESE

Functor（より多くの無関係な制約）と関数型を構築するためのものbとf - 関数を構築することができます。f b-> typeは任意の型にすることができます。 （編集）

BACK INTO ENGLISH

Intended to create a functor (more extraneous constraints) and functional b and f-can you build a function. f b-> type can be of any type. (Edit)

INTO JAPANESE

ファンクタ（より無関係な制約）を作成し、関数bと関数fを作成することができます。 f b-> typeはどんなタイプでもかまいません。 （編集）

BACK INTO ENGLISH

You can create a functor (an unrelated restrictions), to create a function b and function f. f b-> type can be any type. (Edit)

INTO JAPANESE

関数bと関数fを作成するために、ファンクタ（無関係の制限）を作成することができます。 f b-> typeはどんなタイプでもかまいません。 （編集）

BACK INTO ENGLISH

A functor (irrelevant restriction) can be created to create function b and function f. f b -> type can be of any type. (Edit)

INTO JAPANESE

ファンクタ (無関係な制限) を作成して、関数 b を作成できます、任意のタイプの関数 f ・ f b 型-> ができます。(編集)

BACK INTO ENGLISH

You can create a functor (irrelevant restriction) and create a function b, you can do any type of function f · fb type ->. (Edit)

INTO JAPANESE

ファンクタ (無関係な制限) を作成し、関数 b を作成できます。、関数 f · の任意の種類を行うことができます。-> fb 型。(編集)

BACK INTO ENGLISH

Create a functor (not limited), you can create a function b. The function f · The can do any kind of. -> fb type. (Edit)

INTO JAPANESE

ファンクタ（限定しない）を作成し、関数を作成することができます。b。関数f・何でもできる。 - > fbタイプ。 （編集）

BACK INTO ENGLISH

Functor (not limited to) can create function and create. b. In the function f and what you can. -> fb type. (Edit)

INTO JAPANESE

Functor（これに限定されない）は、関数を作成して作成することができます。 b。関数fとあなたができること。 - > fbタイプ。 （編集）

BACK INTO ENGLISH

Functor (but not limited to it) can create and create functions. b. Function f and what you can do. -> fb type. (Edit)

INTO JAPANESE

ファンクタ (ただし、それに限定されない) を作成し、関数を作成することができます。b. 関数 f と何ができるか。-> fb 型。(編集)

BACK INTO ENGLISH

You can create a functor (but not limited to it) and create a function. b. What can you do with the function f. -> fb type. (Edit)

INTO JAPANESE

ファンクタを作成できます (ただしそれに限定されない) と関数を作成します。fb 型-> 関数 f で何を行うことができます。(編集)

BACK INTO ENGLISH

You can create a functor (but are not limited to it) and create function. FB-> what to do in a function f that you can. (Edit)

INTO JAPANESE

ファンクタを作成できます（ただしこれに限定されません）。 FB->あなたができる関数fで何をするか。 （編集）

BACK INTO ENGLISH

(But not limited to) create a functor. FB-> what to do in a function f that you can do. (Edit)

INTO JAPANESE

（ただしこれに限定されません）ファンクタを作成します。 FB->あなたができる関数fで何をするか。 （編集）

BACK INTO ENGLISH

(But not limited to) create a functor. FB-> what to do in a function f that you can do. (Edit)