is it possible to {-# DEPRECATE #-} a single constructor (of a data declaration that is, as a whole, not deprecated)? -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------