Bl∞p: A toy language with Hindley-Milner style type inference