GHC.IP
class
IP
x a