úÎ —None +,9;<=DQRb:A closed predicate that is satisfied only by strict types.A type T is strict if #"x :: T . rnf x = "¥ <=> rwhnf x = "¥nRequires undecidable instances. Experimental (and inefficient) support for mutually recursive groups of types.#A pattern that matches strict types  Safe       *strict-types-0.1.0.4-GQgfx5PL1KjBn0ranaUR1 Type.StrictPaths_strict_typesStrictIsStrict"$fIsDecidedStricttcJustDecidedLazy%$fIsDecidedStricttcNothingDecidedLazy!$fIsDecidedStricttcfDecidedUnpack!$fIsDecidedStricttcfDecidedStrictElem StrictTypeIsDecidedStrict StrictSel StrictCond StrictField StrictCons StrictData StrictRepcatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName