module type MyList =
    sig type 'a mylist
    val empty: unit -> 'a mylist
    val cons: 'a -> 'a mylist -> 'a mylist
    val hd: 'a mylist -> 'a
    val tl: 'a mylist -> 'a mylist
end;;