tao-example (hackage): Example usage of type-level assertions using tao.
Keywords: library|mit|testing