let
input_url u = fwd (
Input
.input_url u)