@@ -25,7 +25,7 @@ train :: forall m i o hs. (Monad m, Head hs ~ i, Last hs ~ o, KnownShape i, Know
2525 -> m (Network m hs)
2626train rate x0 target = fmap fst . go x0
2727 where
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)
2929 => S' j -- ^ input vector
3030 -> Network m' js -- ^ network to train
3131 -> m' (Network m' js, S' j)