Title: Ideal Types