implements forall() method for List
implements splitAt() method for list