I looked at scala-arm after your first review. Does it make sense to introduce one library just for single case? Thanks for pointing to the article. I will look at this.