Typing for brick1 fdf ee

#1

The book is good for