Focus

type-driven development