IntelliJ complains about recursive type checking
# arrow
b
IntelliJ complains about recursive type checking