This :*: stuff in Dyno.View.Fun is too difficult to work with. Instead it should be something like
data MyInputs a = MyInputs (J X a) (J U a) deriving Generic
data MyInputs a = MyOutputs (J X a) (J Z a) deriving Generic
instance (Symbolic a) => IOScheme (MyInput a)
instance (Symbolic a) => IOScheme (MyOutput a)
This
:*:
stuff inDyno.View.Fun
is too difficult to work with. Instead it should be something likemyFun :: Fun MyInputs MyOutputs a