let
list_map l ~f = fwd (
Input
.list_map (bwd l) (bwd f))