Not null

I hear you like SFINAE...
Comment what this does: is_instance<T, U> is true iff U is an instance of T which must be a template.