Print type errors withing checkBidirectionalizability