https://github.com/hesselink/type-equality
