Tiny module for easy typechecking