Ensure explicitly imported types actually exist. Have to sacrifice explicit type class imports for now.