This looks cool! The BEAM absolutely needs languages on it with a solid functional type system.

Curious to see what interacting with the OTP with its callbacks actually looks like.