type Rep Repo = D1 ('MetaData "Repo" "Web.ArchLinux.Types" "arch-web-0.3.3-PkT2kVyP8v4PW3wEyxJnC" 'False) (((C1 ('MetaCons "Core" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CoreTesting" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Extra" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtraTesting" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Multilib" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultilibTesting" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GnomeUnstable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KDEUnstable" 'PrefixI 'False) (U1 :: Type -> Type))))

type Rep Arch = D1 ('MetaData "Arch" "Web.ArchLinux.Types" "arch-web-0.3.3-PkT2kVyP8v4PW3wEyxJnC" 'False) (C1 ('MetaCons "Any" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "I686" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X86_64" 'PrefixI 'False) (U1 :: Type -> Type)))

type Rep License = D1 ('MetaData "License" "Web.ArchLinux.Types" "arch-web-0.3.3-PkT2kVyP8v4PW3wEyxJnC" 'False) (((((((((C1 ('MetaCons "Custom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "N_0BSD" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "N_3D_Slicer_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AAL" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ADSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AFL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AFL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AFL_2_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "AFL_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AGPL_1_0_only" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AGPL_1_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AGPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AGPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AMD_newlib" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AMDPLPA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AML" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AML_glslang" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AMPAS" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ANTLR_PD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ANTLR_PD_fallback" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "APAFML" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "APL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "APSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "APSL_1_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "APSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ASWF_Digital_Assets_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ASWF_Digital_Assets_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Abstyles" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AdaCore_doc" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Adobe_2006" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Adobe_Display_PostScript" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Adobe_Glyph" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Adobe_Utopia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Afmparse" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Aladdin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Apache_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Apache_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Apache_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "App_s2p" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Arphic_1999" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Artistic_1_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Artistic_1_0_Perl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Artistic_1_0_cl8" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Artistic_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_1_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_2_Clause" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "BSD_2_Clause_Darwin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_2_Clause_Patent" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_2_Clause_Views" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_2_Clause_first_lines" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BSD_3_Clause_Attribution" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_Clear" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_3_Clause_HP" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_3_Clause_LBNL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_Modification" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "BSD_3_Clause_No_Military_License" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_No_Nuclear_License" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_3_Clause_No_Nuclear_License_2014" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_3_Clause_No_Nuclear_Warranty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_Open_MPI" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BSD_3_Clause_Sun" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_3_Clause_acpica" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_3_Clause_flex" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_4_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_4_Clause_Shortened" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "BSD_4_Clause_UC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_4_3RENO" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_4_3TAHOE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_Advertising_Acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_Attribution_HPND_disclaimer" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BSD_Inferno_Nettverk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_Protection" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BSD_Source_Code" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BSD_Source_beginning_file" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSD_Systemics" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "BSD_Systemics_W3Works" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BUSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Baekmuk" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Bahyph" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Barr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Beerware" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BitTorrent_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BitTorrent_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bitstream_Charter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bitstream_Vera" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BlueOak_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Boehm_GC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Borceux" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Brian_Gladman_2_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Brian_Gladman_3_Clause" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "C_UDA_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CAL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CAL_1_0_Combined_Work_Exception" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CATOSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_2_5_AU" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_3_0_AT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_3_0_AU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_3_0_IGO" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CC_BY_3_0_NL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_3_0_US" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_2_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_NC_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_3_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_NC_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_ND_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "CC_BY_NC_ND_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_ND_2_5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_NC_ND_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_ND_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_ND_3_0_IGO" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_NC_ND_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_SA_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_NC_SA_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_SA_2_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_SA_2_0_FR" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CC_BY_NC_SA_2_0_UK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_SA_2_5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_NC_SA_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_NC_SA_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_NC_SA_3_0_IGO" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_NC_SA_4_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_ND_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_ND_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_ND_2_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_ND_3_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CC_BY_ND_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_ND_4_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_SA_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_SA_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_2_0_UK" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CC_BY_SA_2_1_JP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_2_5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_BY_SA_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC_BY_SA_3_0_AT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_3_0_DE" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CC_BY_SA_3_0_IGO" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CC_BY_SA_4_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CC_PDDC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CC0_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDDL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CDDL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CDLA_Permissive_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CDLA_Permissive_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CDLA_Sharing_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "CECILL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CECILL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CECILL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CECILL_2_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CECILL_B" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CECILL_C" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CERN_OHL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CERN_OHL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CERN_OHL_P_2_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CERN_OHL_S_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CERN_OHL_W_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFITSIO" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CMU_Mach" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CMU_Mach_nodoc" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CNRI_Jython" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CNRI_Python" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CNRI_Python_GPL_Compatible" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "COIL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CPAL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CPOL_1_02" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CUA_OPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Caldera" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Caldera_no_preamble" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Catharon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ClArtistic" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Clips" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Community_Spec_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Condor_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Cornell_Lossless_JPEG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cronyx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Crossword" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CrystalStacker" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Cube" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "D_FSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DEC_3_Clause" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DL_DE_BY_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DL_DE_ZERO_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Doc" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "DRL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DSDP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dotseqn" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ECL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ECL_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EFL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EFL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EPICS" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "EPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EUDatagrid" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EUPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EUPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "EUPL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Elastic_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Entessa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ErlPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Eurosym" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "FBM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FDK_AAC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FSFAP" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FSFAP_no_warranty_disclaimer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FSFUL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FSFULLR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FSFULLRWD" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FTL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Fair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ferguson_Twofish" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Frameworx_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FreeBSD_DOC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FreeImage" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Furuseth" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GCR_docs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_1_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GFDL_1_1_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GFDL_1_1_no_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_1_no_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "GFDL_1_1_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_1_or_later" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GFDL_1_2_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_2_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "GFDL_1_2_no_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_2_no_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GFDL_1_2_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GFDL_1_2_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_3_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GFDL_1_3_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_3_no_invariants_only" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GFDL_1_3_no_invariants_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GFDL_1_3_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GFDL_1_3_or_later" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GL2PS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GLWTPL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GPL_1_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GPL_1_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GPL_2_0_only" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "GPL_2_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Giftware" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Glide" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Glulxe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Graphics_Gems" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Gutmann" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HP_1986" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HP_1989" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "HPND" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_DEC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HPND_Fenneberg_Livingston" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HPND_INRIA_IMAG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_Intel" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "HPND_Kevlin_Henney" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_MIT_disclaimer" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HPND_Markus_Kuhn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HPND_Pbmplus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_UC" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "HPND_UC_export_US" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_doc" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HPND_doc_sell" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HPND_export_US" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_export_US_acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "HPND_export_US_modify" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_export2_US" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HPND_merchantability_variant" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HPND_sell_MIT_disclaimer_xserver" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_sell_regexpr" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "HPND_sell_variant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HPND_sell_variant_MIT_disclaimer" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HPND_sell_variant_MIT_disclaimer_rev" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HTMLTIDY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HaskellReport" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Hippocratic_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IBM_pibs" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ICU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IEC_Code_Components_EULA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IJG" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "IJG_short" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IPA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ISC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ISC_Veillard" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ImageMagick" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Imlib2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Info_ZIP" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Inner_Net_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Intel" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Intel_ACPI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Interbase_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "JPL_image" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "JPNIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JSON" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Jam" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JasPer_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Kastrup" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Kazlib" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Knuth_CTAN" 'PrefixI 'False) (U1 :: Type -> Type)))))))))) :+: ((((((((C1 ('MetaCons "LAL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LAL_1_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LGPL_2_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPL_2_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LGPL_2_1_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPL_2_1_or_later" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LGPL_3_0_only" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LGPL_3_0_or_later" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LGPLLR" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LOOP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPD_document" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LPL_1_02" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LPPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LPPL_1_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LPPL_1_3a" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LPPL_1_3c" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LZMA_SDK_9_11_to_9_20" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "LZMA_SDK_9_22" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Latex2e" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Latex2e_translated_notice" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Leptonica" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LiLiQ_P_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LiLiQ_R_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LiLiQ_Rplus_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Libpng" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Linux_OpenIB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Linux_man_pages_1_para" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Linux_man_pages_copyleft" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Linux_man_pages_copyleft_2_para" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Linux_man_pages_copyleft_var" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Lucida_Bitmap_Fonts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MIT_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_CMU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MIT_Festival" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MIT_Khronos_old" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_Modern_Variant" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "MIT_Wu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_advertising" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MIT_enna" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_feh" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MIT_open_group" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MIT_testregex" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MITNFA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MMIXware" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MPEG_SSG" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MPL_2_0_no_copyleft_exception" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MS_LPL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MS_PL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MS_RL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MTLL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Mackerras_3_Clause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mackerras_3_Clause_acknowledgment" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "MakeIndex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Martin_Birgmeier" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "McPhee_slideshow" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Minpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MirOS" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Motosoto" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MulanPSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MulanPSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Multics" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mup" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NAIST_2003" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NASA_1_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NBPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NCBI_PD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NCGL_UK_2_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "NCL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NCSA" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NGPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NICTA_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NIST_PD" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "NIST_PD_fallback" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NIST_Software" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NLOD_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NLOD_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NLPL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NOSL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPOSL_3_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NRL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NTP" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NTP_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Naumen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Net_SNMP" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "NetCDF" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Newsletr" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Nokia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Noweb" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "O_UDA_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "OAR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OCCT_PL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OCLC_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ODC_By_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ODbL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OFFIS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OFL_1_0_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OFL_1_0_no_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "OFL_1_1_RFN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OFL_1_1_no_RFN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OGC_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OGDL_Taiwan_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OGL_Canada_2_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OGL_UK_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OGL_UK_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OGL_UK_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OGTSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "OLDAP_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_1_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OLDAP_1_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_0_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OLDAP_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OLDAP_2_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_2_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_3" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "OLDAP_2_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OLDAP_2_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OLDAP_2_7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OLDAP_2_8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OLFL_1_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OML" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OPL_UK_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OPUBL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "OSET_PL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OSL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OSL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OSL_2_1" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OSL_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpenPBS_2_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OpenSSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OpenSSL_standalone" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OpenVision" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PADL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PDDL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PHP_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PHP_3_01" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PPL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PSF_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Parity_6_0_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Parity_7_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pixar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Plexus" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "PolyForm_Noncommercial_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PolyForm_Small_Business_1_0_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PostgreSQL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Python_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Python_2_0_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QPL_1_0_INRIA_2004" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Qhull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RHeCos_1_1" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "RPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RPL_1_5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RPSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RSA_MD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RSCPL" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Rdisc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ruby" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SAX_PD" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SAX_PD_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SCEA" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "SGI_B_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SGI_B_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SGI_B_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SGI_OpenGL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SGP4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SHL_0_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHL_0_51" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SISSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SISSL_1_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SL" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SMLNJ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMPPL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SNIA" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SSH_OpenSSH" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SSH_short" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SSLeay_standalone" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SSPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SWL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Saxpath" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "SchemeReport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sendmail" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sendmail_8_23" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SimPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sleepycat" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Soundex" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Spencer_86" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Spencer_94" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Spencer_99" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SugarCRM_1_1_3" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Sun_PPP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sun_PPP_2000" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SunPro" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Symlinks" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TAPR_OHL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TCL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TCP_wrappers" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TGPPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TMate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TORQUE_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "TOSL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TPDL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TTWL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TTYP0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TU_Berlin_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TU_Berlin_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TermReadKey" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UCAR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UCL_1_0" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "UMich_Merit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "URT_RLE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Unicode_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unicode_DFS_2015" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Unicode_DFS_2016" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unicode_TOU" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnixCrypt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Unlicense" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VOSTROM" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "VSL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Vim" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "W3C" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "W3C_19980720" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "W3C_20150513" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WTFPL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Watcom_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Widget_Workshop" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Wsuipa" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "X11" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "X11_distribute_modifications_variant" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "XFree86_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "XSkat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xdebug_1_03" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Xerox" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xfig" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Xnet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "YPL_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "YPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ZPL_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ZPL_2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ZPL_2_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Zed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zeeff" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Zend_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zimbra_1_3" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Zimbra_1_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Zlib" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Any_OSI" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bcrypt_Solar_Designer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blessing" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Bzip2_1_0_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Check_cvs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Checkmk" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Copyleft_next_0_3_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Copyleft_next_0_3_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Curl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Cve_tou" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Diffmark" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Dtoa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Dvipdfm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EGenix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etalab_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fwlw" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GSOAP_1_3b" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Gnuplot" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Gtkbook" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Hdparm" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IMatix" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Libpng_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Libselinux_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Libtiff" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Libutil_David_Nugent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lsof" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Magaz" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mailprio" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Metamail" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Mpi_permissive" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mpich2" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Mplus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pkgconf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pnmstitch" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Psfrag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Psutils" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Python_ldap" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Radvd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Snprintf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SoftSurfer" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ssh_keyscan" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Swrule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Threeparttable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ulem" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "W3m" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xinetd" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Xkeyboard_Config_Zinoviev" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Xlock" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Xpp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Xzoom" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zlib_acknowledgement" 'PrefixI 'False) (U1 :: Type -> Type)))))))))))