BRAT is a functional programming language for writing programs which interleave quantum and classical execution, with a focus on composition and guarantees of safety. It employs a unique syntax to enable juxtaposition of different parts of circuits, and type level parameters for reasoning about programs during type checking. We illustrate the features of BRAT by showing a number of examples, including some illegal programs, and discuss future directions.