[UPDATE] examples.
[UPDATE] remove bound type checking.