foldl en tipos abstarctos