diff --git a/compiler/constrain/src/module.rs b/compiler/constrain/src/module.rs
index 76a90c18c7..ffccbc61de 100644
--- a/compiler/constrain/src/module.rs
+++ b/compiler/constrain/src/module.rs
@@ -3,13 +3,11 @@ use roc_builtins::std::{Mode, StdLib};
 use roc_can::constraint::{Constraint, LetConstraint};
 use roc_can::module::ModuleOutput;
 use roc_collections::all::{ImMap, MutMap, MutSet, SendMap};
-use roc_module::ident::Lowercase;
 use roc_module::symbol::{ModuleId, Symbol};
 use roc_region::all::{Located, Region};
-use roc_types::boolean_algebra::Bool;
-use roc_types::solved_types::{BuiltinAlias, FreeVars, SolvedBool, SolvedType};
+use roc_types::solved_types::{BuiltinAlias, FreeVars, SolvedType};
 use roc_types::subs::{VarId, VarStore, Variable};
-use roc_types::types::{Alias, Problem, RecordField, Type};
+use roc_types::types::{Alias, Problem, Type};
 
 pub type SubsByModule = MutMap<ModuleId, ExposedModuleTypes>;
 
diff --git a/compiler/types/src/solved_types.rs b/compiler/types/src/solved_types.rs
index 0d08448bb0..74a9bc4311 100644
--- a/compiler/types/src/solved_types.rs
+++ b/compiler/types/src/solved_types.rs
@@ -68,8 +68,6 @@ pub enum SolvedBool {
 
 impl SolvedBool {
     pub fn from_bool(boolean: &boolean_algebra::Bool, subs: &Subs) -> Self {
-        use boolean_algebra::Bool;
-
         match boolean {
             Bool::Shared => SolvedBool::SolvedShared,
             Bool::Container(cvar, mvars) => {