Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove dependency on lens #1
It would be nice to remove the dependency on lens.
We can probably do this in a similar way to the union library: