@hackage / hobbits

A library for canonically representing terms with binding