Strictly typed

Summary