I've been fiddling with a System F language for a bit and find the types not as burdensome as I had originally thought. I couldn't imagine learning to use it fr

I've been fiddling with a System F language for a bit and find the types not as burdensome as I had originally thought. I couldn't imagine learning to use it from scratch though. I do think the loss of magic inference is a boon though.