into: Path ~> Goal

Examples

    TODO

Metadata