Value -> Value -> (Value -> Value) -> Value(except I didn't have to curry them so the first 2 arrows weren't there)
QuARC v0.18.2
@quarc@wanderingwires.net
I just wrote a type signature that's
(except I didn't have to curry them so the first 2 arrows weren't there)
(except I didn't have to curry them so the first 2 arrows weren't there)