On 14 Apr 2010, at 09:39, Ashley Yakeley wrote: > Thomas Davie wrote: >> I guess this further reinforces my point though – we have a mixture of >> places where we consider _|_ when considering laws, and places where we >> don't consider _|_. This surely needs better defined somewhere. > > It's easy: don't consider bottom as a value, and the laws work fine.
If it were this easy, then why is our instance of Functor on tuples gimped? Bob_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
