Wrapper for CheckKind and CheckType.
stuffing around
Blog post for finding where a name is exported from using the GHC API.