Types and kinds for basic type-level programming - View it on GitHub