I wasn't fully able to tell if this was interpreted or compiled? In any case, it looks neat, I think the intersection of static types and Lisps is a space that

I wasn't fully able to tell if this was interpreted or compiled? In any case, it looks neat, I think the intersection of static types and Lisps is a space that needs more experimentation with, so I'm happy to see that. I hope eventually it gains more effects as well, with only Pure and IO, you can't do much of the cool things that effect systems bring.