[Haskell-cafe] Re: Additonal types for Foreign.C.Types

[Maurí­cio]

> The FFI spec says (at 
> http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise3.html#x6-120003.2):
> 

There I see:

---
Foreign types are produced according to the following grammar:

ftype  --> frtype
        |   fatype -> ftype
frtype --> fatype
        |   ()
fatype --> qtycon atype[1] ... atype[k] (k > 0)
---

I can't understand the "qtycon atype[1]..." line. I did
search haskell 98 report syntax reference, and saw how
qtycon and tycon are defined, but I could not understand
how they are used here.

Thanks for your help,
Maurício