FoldA package:generic-deriving