Re: TypeLits and type families wrt. equality

2015-07-24 Thread Anthony Cowley
I think you are already very familiar with what I'll show here, but I figured I'd offer this alternative approach just in case. It does not directly address your type error, but does show one way of loosely steering values from the type level.

Re: [haskell-infrastructure] wither the Platform

2015-03-23 Thread Anthony Cowley
On Mar 23, 2015, at 1:19 PM, Gershom B gersh...@gmail.com wrote: On Mon, Mar 23, 2015 at 11:20 AM, Anthony Cowley acow...@gmail.com wrote: I don't understand this attitude. You say that neither new users nor package authors agree with your stance on the HP, so you want to force