nostr:npub12jq5ktly2vht4w467kall6e0wuruu3dfy2mm473gqyslynxau3fsakhq6m Do Scala macros have access to type information?