http://deni-ok.livejournal.com/ ([identity profile] deni-ok.livejournal.com) wrote in [personal profile] deniok 2008-01-16 09:27 pm (UTC)

Ага. Только kind есть у любого типа, у c :: *, а у f :: * -> *. Соответственно f c :: * , то есть можно юзать напрямую :)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
No Subject Icon Selected
More info about formatting