Experiments with ML-like languages