@@ -25,7 +25,7 @@ train :: forall m i o hs. (Monad m, Head hs ~ i, Last hs ~ o, KnownShape i, Know
25 -> m (Network m hs)
25 -> m (Network m hs)
26train rate x0 target = fmap fst . go x0
26train rate x0 target = fmap fst . go x0
28− go :: forall m' j js. (Monad m', Head js ~ j, Last js ~ o, KnownShape j, KnownShape o)
28+ go :: forall m' j js. (Monad m', Head js ~ j, Last js ~ o, KnownShape j)
29 => S' j -- ^ input vector
29 => S' j -- ^ input vector
30 -> Network m' js -- ^ network to train
30 -> Network m' js -- ^ network to train
31 -> m' (Network m' js, S' j)
31 -> m' (Network m' js, S' j)