Strong type

Summary