Add explicit kind annotations to arguments for the MArrayMaxLocality and MArrayMinLocality type familes
GHC can't inferen the kinds for the open formulation, but can for the closed formulation