Dependently-Typed Combinators#

This project is available on GitHub here.