Re: [Hackage] #863: Can't pass extra arguments to c2hs