Might it be useful to pass in the `Type` itself for further introspection?