types

type Codomain1[X] = X match { case a => b => b case (a1 => b1, a2 => b2) => (b1, b2) }

type Codomain2[X] = X match { case (b1, a2 => b2) => (b1, b2) }

type Init[P[_], Y] = P[Y] match { case PolyMap[p, q, Y] => Init[p, Y] case Store[s, Y] => s case StoreF[f, s, Y] => s case Interface[a, b, Y] => b case Tensor[p, q, Y] => (Init[p, Y], Init[q, Y]) }

type Readout[P[_], Y] = P[Y] match { case PolyMap[p, q, Y] => Phi[p, q, Y] }

type Run[P[_], Y] = P[Y] match { case PolyMap[p, q, Y] => (Eval[p, Y], Eval[q, Y]) match { case (Store[s, Y], BiInterface[a1, b1, a2, b2, Y]) => (s, Unify2[a1, a2]) => (s, Unify2[Codomain1[b1], Codomain1[b2]]) case (StoreF[f, s, Y], Interface[a, b, Y]) => (s, a) => Runout[f[s], b] case (Store[s, Y], Interface[a, b, Y]) => (s, a) => (s, Codomain1[b]) case (Store[s, Y], Composition[p, q, Y]) => (s, DecomposeSharp[p, q, Y]) => (s, Codomain2[Decompose[p, q, Y]]) case (Store[s, Y], PolyMap[p, q, Y]) => Run[[_] =>> PolyMap[[_] =>> Store[s, _$4], q, _$5], Y] case (PolyMap[p, q, Y], BiInterface[a1, b3, a2, b4, Y]) => Run[[_] =>> PolyMap[p, [_] =>> BiInterface[a1, b3, a2, b4, _$6], _$7], Y] case (PolyMap[p, q, Y], Interface[a, b, Y]) => Run[[_] =>> PolyMap[p, [_] =>> Interface[a, b, _$8], _$9], Y] case (PolyMap[o, p, Y], Tensor[q, r, Y]) => Run[[_] =>> PolyMap[o, [_] =>> DayConvolution[q, r, _$10], _$11], Y] } }

type Runout[S, B] = (S, B) match { case (IO[s], a => IO[b]) => IO[(s, b)] }

type Unify2[U, V] = (U, V) match { case (Some[a], None.type) => Option[a] case (None.type, Some[a]) => Option[a] case (Right[_$13, b], Left[a, _$14]) => Either[a, b] case (Left[a, _$15], Right[_$16, b]) => Either[a, b] }

type Update[P[_], Y] = P[Y] match { case PolyMap[p, q, Y] => PhiSharp[p, q, Y] }