Week 8: Introduction to sequences with types (A.P, A.S, G.P, G.S)