{-
************************************************************************
*                                                                      *
\subsection[TysWiredIn-PArr]{The @[::]@ type}
*                                                                      *
************************************************************************

Special syntax for parallel arrays needs some wired in definitions.
-}

-- | Construct a type representing the application of the parallel array constructor
mkPArrTy    :: Type -> Type
mkPArrTy ty  = mkTyConApp parrTyCon [ty]
mkPArrTy    :: Type -> Type
mkPArrTy ty  = mkTyConApp parrTyCon [ty]
mkPArrTy ty  = mkTyConApp parrTyCon [ty]