Hi, There are trivial pull requests in TypeOf waiting for merging (https://github.com/boostorg/typeof/pulls). One of them is more than 2 yo. Would it be possible to merge them? At least #3 or #4 should be merged. Regards, Adam