these days I don't really use it for anything serious

Haskell doesn't have this issue because it does not treat Foo a = Int as having the kind * -> * but rather *

the reason being that injectivity of parametric types is assumed, so with HKTs you could prove the general case Eq[HT[A], HT[B]] → Eq[A, B], which is easily disproved by e.g. Foo[A] = int, where Foo[A] = Foo[B] is trivial for any types A and B by reflexivity (int = int)

I thought your name was Giacomo

write them down

yeah i got the same feeling 😌

in awe in front of so much beauty

i've just watched it

coming soon: mayowiec

that's a lot more than i can do woah

everyone lies on the internet, including me right now

(me spreading misinformation online)

his domain expired

fxbsky