tao (hackage): Type-level unit testing via assertion operators/functions.
Keywords: library|mit|testing