let
list l = fwd (
Input
.list (
List
.map ~f:bwd l))