type inference

• Partial type signatures
• Visible type applications
• Monomorphism restriction