import L = "lib/ListM";
type stack = L.List<Int>;
let s = L.cons<Int>(1, L.nil<Int>());