Haskell Foldable Wats

[Kosyrev Serge]

David Feuer <david.feuer at gmail.com> writes:
> Haskell's notion of Functor is in fact somewhat arbitrary from the
> standpoint of mathematical functors. It's not at all arbitrary from
> the standpoint of the general variety of type system Haskell uses.

This fact that we can't partially apply a type constructor in an
arbitrary way -- is it really all that fundamental to the Haskell type system?

Is it truly something more than an implementation detail?

If so, why?

-- 
с уважениeм / respectfully,
Косырев Сергей