good questions

1. effects are tracked in the type system as row types, so they compose with HM inference pretty naturally. the tricky part is effect polymorphism. Loon handles that similarly to how koka does it, with row polymorphism. no ambiguity issues so far but idk

2. yes, macros are hygienic! documenting some binding situations would make a great first PR :)

3. easier to type!