fun(A,B,...) -> A -> B -> ...

                    product(A,...) -> {A,...}

                    sum(A,B,...) -> A | B | ...

                    cat(A,B,...) -> 

                                 Domains(A,B,...), 

                                 Morphisms(A,B,...), ... end.

string() = list(char) = string/0.

integer().

atom().

tree(A) = sum(product(A),product(tree(A),tree(A)))

 = {A} | {tree(A),tree(A)}.

array(T) = list(list(T)).

cube(T) = list(array(T)).

typeCons(A,B,C) = product(A,B,list(C)).

main = fun/2.

product/3 = product(any(),any(),any()).

mylist = product(list(product/3),sum/2,any).

lst = list/1.

functorArg = type/1.