jaror, 9 months ago

DatatypeContexts as implemented today in GHC are much more reasonable than I thought.

https://discourse.haskell.org/t/datatypecontexts-has-something-changed-since-it-was-marked-deprecated/7560/7?u=jaror

#haskell

• x

  Image

  Upload file From url

  Image alternative text
• English-------------------AfarAbkhazianAchineseAcoliAdangmeAdygheAvestanTunisian ArabicAfrikaansAfrihiliAghemAinuAkanAkkadianAlabamaAleutGheg AlbanianSouthern AltaiአማርኛAragoneseOld EnglishOboloAngikaالعربيةAramaicMapucheAraonaArapahoAlgerian ArabicNajdi ArabicArawakMoroccan ArabicEgyptian Arabicঅসমীয়াAsuAmerican Sign LanguageAsturianAtikamekwAvaricKotavaAwadhiAymaraazərbaycanBashkirBaluchiBalineseBavarianBasaaBamunBatak TobaGhomalaбеларускаяBejaBembaBetawiBenaBafutBadagaбългарскиHaryanviWestern BalochiBhojpuriBislamaBikolBiniBanjarKomSiksikáTai Dambamanakanবাংলাབོད་སྐད་BishnupriyaBakhtiaribrezhonegBrajBrahuiBodobosanskiAkooseBuriatBugineseBuluBlinMedumbacatalàCaddoCaribCayugaAtsamChakmaнохчийнCebuanoChigaChamorroChibchaChagataiChuukeseMariChinook JargonChoctawChipewyanCherokeeCheyenneChickasawCentral KurdishChilcotinCorsicanCopticCapiznonCreeMichifCrimean TatarSouthern East CreePlains CreeNorthern East CreeMoose CreeCarolina AlgonquianSeselwa Creole FrenchčeštinaKashubianSwampy CreeChurch SlavicчӑвашWoods CreeCymraegdanskDakotaDargwaTaitaDeutschDelawareSlaveDogribDinkaZarmaDogriLower SorbianCentral DusunDualaMiddle DutchDivehiJola-FonyiDyulaརྫོང་ཁDazagaEmbuEʋegbeEfikEmilianAncient EgyptianEkajukΕλληνικάElamiteMiddle EnglishesperantoespañolCentral YupikeestieuskaraEwondoExtremaduranفارسیFangFantiPulaarsuomiFilipinoTornedalen FinnishFijianføroysktFonfrançaisCajun FrenchMiddle FrenchOld FrenchArpitanNorthern FrisianEastern FrisianFriulianFryskGaeilgeGaGagauzGan ChineseGayoGbayaZoroastrian DariGàidhligGeezGilbertesegalegoGilakiMiddle High GermanGuaraniOld High GermanGoan KonkaniGondiGorontaloGothicGreboAncient GreekSwiss GermanગુજરાતીWayuuFrafraGusiiGaelgGwichʼinHausaHaidaHakka ChineseHawaiianSouthern HaidaNorthern Haidaעבריתहिन्दीFiji HindiHiligaynonHittiteHmongHmong NjuaHiri MotuhrvatskiUpper SorbianXiang ChineseHaitian CreolemagyarHupaHalkomelemհայերենHererointerlinguaIbanIbibioIndonesiaInterlingueIgboꆈꌠꉙInupiaqEastern Canadian InuktitutWestern Canadian InuktitutIlokoIngushIdoíslenskaitalianoInuktitutIngrian日本語Jamaican Creole EnglishLojbanNgombaMachameJudeo-PersianJudeo-ArabicJutishJawaქართულიKara-KalpakKabyleKachinJjuKambaKawiKabardianKanembuTyapMakondeKabuverdianuKenyangKoroKongoKaingangKhasiKhotaneseKoyra ChiiniKhowarGikuyuKirmanjkiKuanyamaқазақ тіліKakokalaallisutKalenjinខ្មែរKimbunduಕನ್ನಡ한국어Komi-PermyakKonkaniKosraeanKpelleKanuriKarachay-BalkarKrioKinaray-aKarelianKurukhکٲشُرShambalaBafiaCologniankurdîKumykKutenaiKomikernewekKwakʼwalaкыргызчаLatinLadinoLangiWestern PanjabiLambaLëtzebuergeschLezghianLingua Franca NovaLugandaLimburgishLigurianLillooetLivonianLakotaLombardlingálaລາວMongoLouisiana CreoleLoziNorthern LuriSaamialietuviųLatgalianTshilubaLuba-LuluaLuisenoLundaLuoMizoLuyialatviešuLiterary ChineseLazMadureseMafaMagahiMaithiliMakasarMandingoMasaiMabaMokshaMandarMendeMeruMorisyenMalagasyMiddle IrishMakhuwa-MeettoMetaʼMarshalleseMāoriMi'kmaqMinangkabauмакедонскиമലയാളംмонголManchuManipuriInnu-aimunMohawkMossiमराठीWestern MariMelayuMaltiMundangMuscogeeMirandeseMarwariMentawaiမြန်မာMyeneErzyaMazanderaniNauruMin Nan ChineseNeapolitanNamaNorwegian BokmålisiNdebeleLow GermanनेपालीNewariNdongaNiasNiueanAo NagaNederlandsKwasioNorwegian NynorskNgiemboonnorskNogaiOld NorseNovialN’KoSouth NdebeleNorthern SothoNuerNavajoClassical NewariNyanjaNyamweziNyankoleNyoroNzimaOccitanOjibwaNorthwestern OjibwaCentral OjibwaEastern OjibwaOji-CreeWestern OjibwaOkanaganOromooଓଡ଼ିଆиронOsageOttoman TurkishਪੰਜਾਬੀPangasinanPahlaviPampangaPapiamentoPalauanPicardNigerian PidginPennsylvania GermanPlautdietschOld PersianPalatine GermanPhoenicianPaliPijinpolskiPiedmontesePonticPohnpeianMaliseet-PassamaquoddyPrussianOld ProvençalپښتوportuguêsRunasimiKʼicheʼChimborazo Highland QuichuaRajasthaniRapanuiRarotonganRomagnolRohingyaRiffianrumantschIkirundiromânăRomboRomanyRotumanрусскийRusynRovianaAromanianKinyarwandaRwaसंस्कृत भाषाSandaweYakutSamaritan AramaicSamburuSasakSantaliSaurashtraNgambaySangusarduSicilianScotsسنڌيSassarese SardinianSouthern KurdishdavvisámegiellaSenecaSenaSeriSelkupKoyraboro SenniSängöOld IrishSamogitiansrpskohrvatskiTachelhitShanChadian ArabicසිංහලSidamoslovenčinaslovenščinaSouthern LushootseedLower SilesianSelayarSamoanSouthern SamiLule SamiInari SamiSkolt SamichiShonaSoninkeSoomaaliSogdienshqipсрпскиSranan TongoSererSwatiSahoSouthern SothoSaterland FrisianStraits SalishBasa SundaSukumaSusuSumeriansvenskaKiswahiliComorianClassical SyriacSyriacSilesianதமிழ்Southern TutchoneTuluతెలుగుTimneTesoTerenoTetumтоҷикӣTagishไทยTahltanትግርኛTigreTivtürkmen diliTokelauTsakhurTagalogKlingonTlingitTalyshTamashekTswanalea fakatongaNyasa TongaToki PonaTok PisinTürkçeTuroyoTarokoTorwaliTsongaTsakonianTsimshianтатарNorthern TutchoneMuslim TatTumbukaTuvaluTwiTasawaqTahitianTuvinianCentral Atlas TamazightUdmurtئۇيغۇرچەUgariticукраїнськаUmbunduاردوo‘zbekVaiVendaVenetianVepsTiếng ViệtWest FlemishMain-FranconianVolapükVoticVõroVunjoWalloonWalserWolayttaWarayWashoWarlpiriWolofWu ChineseKalmykIsiXhosaMingrelianSogaYaoYapeseYangbenYembaייִדישÈdè YorùbáNheengatuCantoneseZhuangZapotecBlissymbolsZeelandicZenagaStandard Moroccan Tamazight中文isiZuluZuniZaza
• Add comment