A Second Year Course on Data Structures Based on Functional Programming