PerfectFailureDetector is a PortTypr and PFD is a component