val from : int -> int -> int list
val take : 'a list -> int -> 'a list
val drop : 'a list -> int -> 'a list