@@ -66,8 +66,8 @@ Usage
6666
6767To perform back propagation, one can call the eponymous function
6868```haskell
69−backPropagate :: forall input target shapes layers. (Head shapes ~ input, Last shapes ~ target)
70− => Network layers shapes -> S input -> S target -> Gradients layers
69+backPropagate :: forall shapes layers.
70+ Network layers shapes -> S (Head shapes) -> S (Last shapes) -> Gradients layers
7171```
7272which takes a network, appropriate input and target data, and returns the
7373back propagated gradients for the network. The shapes of the gradients are