<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">From: Stephen Tetley <<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>><br>
<br>
On 6 September 2010 20:18, John Lato <<a href="mailto:jwlato@gmail.com">jwlato@gmail.com</a>> wrote:<br>
<br>
> Can you give an example of a Functor that doesn't have pure? I think it's<br>
> Pointed Functors which are useful; not Functor by itself.<br>
<br>
Strictly speaking is Pair one? The current implementation tacks on monoid.<br></blockquote><div><br></div><div>Interesting example. I tend not to like implementations which rely on bottoms, so I think I'd agree.</div>
<div><br></div><div>In a similar spirit, I would propose Data.Vector.Unboxed.Vector as a Pointed Functor (modulo element restrictions) which is not Applicative, since the necessary element restrictions mean <*> can't be defined.</div>
<div><br></div><div>John</div></div>