arrowでプログラミングするのに数学も圏論の知識も微塵も必要ない。