modern C++ type traits and metafunctions for callable types - View it on GitHub