ruin a developer's day in 4 words:

"what about recursive types"

@jana
nobody:
de bruijn: heyyyyyyyyyyyyyy
@fasterthanlime could be worse, there's always higher ranked and higher kinded types. Getting to see a few too many de Bruijn indices working on rustc atm 馃槶
@jana @fasterthanlime tag urself im 位f.(位x.f(x x))(位x.f(x x))
@khyperia @fasterthanlime
mrow! I'm 位f.(位x.f(位v. xxv))(位x.f(位v. xxv))
@jana @khyperia I'm: happy to be included
@fasterthanlime <3 don't we all feel like a Y combinator sometimes or is that just a compiler thing