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