sig val take : 'a array -> 'end