instruct-macros-types-0.1.4 has been yanked.
Instruct Macro Types
Instruct Macro Types are a set of exported types that work nicely with the instruct-macros
package which provides a set of procedural macros for getting type information at runtime.