Hello,
On 5/9/06, Stefan Wehr <[EMAIL PROTECTED]> wrote:
>> class C a
>> class F a where type T a
>> instance F [a] where type T [a] = a
>> class (C (T a), F a) => D a where m :: a -> Int
>> instance C a => D [a] where m _ = 42
But there is also the equality `T [Int] = Int
Iavor Diatchki <[EMAIL PROTECTED]> wrote::
> Hello,
>
> On 5/3/06, Stefan Wehr <[EMAIL PROTECTED]> wrote:
>> class C a
>> class F a where type T a
>> instance F [a] where type T [a] = a
>> class (C (T a), F a) => D a where m :: a -> Int
>> instance C a => D [a] where m _ = 42
>
Manuel M T Chakravarty <[EMAIL PROTECTED]> wrote::
> Stefan Wehr:
>> Manuel M T Chakravarty <[EMAIL PROTECTED]> wrote::
>>
>> > Martin Sulzmann:
>> >> Manuel M T Chakravarty writes:
>> >> > Martin Sulzmann:
>> >> > > A problem with ATs at the moment is that some terminating FD programs
>> >> >