a type system associates types with each computed value ahantu haruta cyane aho ndi ubu in all cases the manufacturer's instructions should be considered definitive