[WCaml] Forward list models