You could probably do it in the reflective language Black (<https://www.is.ocha.ac.jp/~asai/Black/ https://www.is.ocha.ac.jp/~asai/Black/>), but I'm gonna leave

You could probably do it in the reflective language Black (<https://www.is.ocha.ac.jp/~asai/Black/ https://www.is.ocha.ac.jp/~asai/Black/>), but I'm gonna leave actually doing so as an exercise for someone who is interested.