Title: Designing with type