[Hs-Generics] Real-life datatype-generic programming project