[FOLD] is_constructible.h