eqT package:base

Type equality