strongtyping
