1 2 3
# Bifoldable and Invariant **Bifold** eliminates both sides of an `Either`. **Invariant** `imap` maps with encode/decode witnesses for newtypes and brands.