[Hs-Generics] patch applied (generics): The reduce functions for SYB are more honest: no more explicit pattern matching.