data-category VS Hasklig

Even a fairly simple statement like "F preserves direct limits over N" is basically impossible to express like this. You can step further from Hask and work at the type level until the very end (which I believe is the approach taken by data-category), you can resign yourself to only expressing things that can be "defunctionalized" (an appropriate use of the term, I think, if not a correct one) down to Haskell functions, which gets you (Co)Yoneda, Lan, Ran, etc. in the general case and I think Traversable in this particular instance, or you can take some intermediate approach with constrained functions and/or explicit witnesses in your data types, but you can't make proper category theory "just work" the way it should.

Hasklig because it includes ligatures useful for programming (although mainly focused on functional programming) & is visually pleasent. https://github.com/i-tu/Hasklig

Its 10000000% the font. I just tested Hasklig's regular font (this) and all of the boxes and question marks dissapear. Theres just one problems with this font. The text is weird af (pics below). It seems to like to smash characters together sometimes and others its cutting parts of them off.

Change to Hasklig font (https://github.com/i-tu/Hasklig)

I like to change it up, but I like Ubuntu Mono and right now I've been using Hasklig

In case anyone is wondering, I use Nord theme and Hasklig font with font ligatures on.

self: super: { hasklig = self.callPackage ({ lib, fetchzip }: let version = "1.2"; in fetchzip { name = "hasklig-${version}"; url = "https://github.com/i-tu/Hasklig/releases/download/v${version}/Hasklig-${version}.zip"; postFetch = '' unzip $downloadedFile install -m444 -Dt $out/share/fonts/opentype OTF/*.otf ''; sha256 = "sha256-8lY1m0P1qQIbR4e7kX68jVoKZmEfPWNwK3AFLoaBEak="; meta = with lib; { homepage = "https://github.com/i-tu/Hasklig"; description = "A font with ligatures for Haskell code based off Source Code Pro"; license = licenses.ofl; platforms = platforms.all; maintainers = with maintainers; [ davidrusu Profpatsch ]; }; }) {}; }

I keep wondering if I should try out a font with ligatures (probably Fira Code or Hasklig), but I haven't yet. Does anyone here use a ligature font with Raku? I'm not sure if the ligatures would fit right in with the Unicode glyphs or get confusing.