• Type inference
• Type block inference method