IP.hs: Skeleton for IP implementation