Re: [Haskell-cafe] Pointed, but not Applicative

On Sun, Aug 28, 2011 at 12:41 AM, Sönke Hahn 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