EdLambda: Bob Atkey: Some practical and impractical uses of ML module systems