Foldable mod containing the foldable type classes
FoladableA is for endo type functions
FoladableB is for Hinger Kinded Types where M -> B / M
FoldableS is for Foldables that is not a list of some kind, ex. Option