template<typename E> its_going_to_be_ok(E expression)