\texttt{Type Writer}: \texttt{Type Writer}