type constructor for IO ports