Type equality check (https://hackage.haskell.org/package/type-equality-check)

nothing here yet!

move along, citizen