>>I have no idea whether there's a corresponding concept in BitC. > >Probably BitC intentionally lacks the concept of Miranda prototypes. I >should ask Shap. In hindsight I am not sure that it lacks of this concept. The BitC type inference is quite advanced. Val