has

Typical usage is described at http://github.com/nonowarn/has/blob/master/examples/Announce04.lhs.