i ran into those as well, with recursive type chec...
# arrow
k
i ran into those as well, with recursive type checks, but i really think they’re not really issues - you’re just forced to type some things which is sometimes better 🙂