Grabbing definitions for type/newtype/data