Literal types what they are good for by Tamer Abdulradi