https://github.com/ekmett/adjunctions/
