On Sun, Aug 28, 2011 at 12:41 AM, Sönke Hahn <sh...@cs.tu-berlin.de> wrote:
> I was wondering which
> type could be an instance of Pointed, but not of Applicative. But I can't
> think of one. Any ideas?
Functional lists:
type FList a = [a] -> [a]
they have a Monoid instance for empty and append, a "point" function
for singletons but Applicative or Monad cannot be defined without
converting back and forth to ordinary lists.
Sebastian
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
