"Type checking has run into a recursive problem. E...
# arrow
b
"Type checking has run into a recursive problem. Easiest workaround: specify types of your declarations explicitly