foo :: Int {- ^ start index -} -> Int {- ^ length -} -> t a -> t a