diff --git a/.changeset/tasty-taxis-end.md b/.changeset/tasty-taxis-end.md
new file mode 100644
index 00000000..ba1940a8
--- /dev/null
+++ b/.changeset/tasty-taxis-end.md
@@ -0,0 +1,5 @@
+---
+'rainbow-sprinkles': patch
+---
+
+Fixed complex type errors related to the permutations of configuration. See use #101 for example.
diff --git a/packages/rainbow-sprinkles/src/defineProperties.ts b/packages/rainbow-sprinkles/src/defineProperties.ts
index 69166171..ce58c343 100644
--- a/packages/rainbow-sprinkles/src/defineProperties.ts
+++ b/packages/rainbow-sprinkles/src/defineProperties.ts
@@ -78,123 +78,182 @@ type ReturnShorthands<
   };
 };
 
+type ShorthandOptions<
+  Properties extends object,
+  Shorthands extends { [shorthandName: string]: Array<keyof Properties> },
+> = {
+  shorthands?: Shorthands;
+};
+
 export type OptionsConditionalDynamic<
   DynamicProperties extends ConfigDynamicProperties,
   Conditions extends ConfigConditions,
-  Shorthands extends { [k: string]: Array<keyof DynamicProperties> },
 > = {
   dynamicProperties: DynamicProperties;
   conditions: Conditions;
   defaultCondition: keyof Conditions;
-  shorthands?: Shorthands;
 };
 export type OptionsConditionalStatic<
   StaticProperties extends ConfigStaticProperties,
   Conditions extends ConfigConditions,
-  Shorthands extends { [k: string]: Array<keyof StaticProperties> },
 > = {
   staticProperties: StaticProperties;
   conditions: Conditions;
   defaultCondition: keyof Conditions;
-  shorthands?: Shorthands;
 };
 export type OptionsConditionalBoth<
   DynamicProperties extends ConfigDynamicProperties,
   StaticProperties extends ConfigStaticProperties,
   Conditions extends ConfigConditions,
-  Shorthands extends ConfigShorthands<DynamicProperties, StaticProperties>,
 > = {
   dynamicProperties: DynamicProperties;
   staticProperties: StaticProperties;
   conditions: Conditions;
   defaultCondition: keyof Conditions;
-  shorthands?: Shorthands;
-};
-export type OptionsDynamic<
-  DynamicProperties extends ConfigDynamicProperties,
-  Shorthands extends { [k: string]: Array<keyof DynamicProperties> },
-> = {
-  dynamicProperties: DynamicProperties;
-  shorthands?: Shorthands;
 };
-export type OptionsStatic<
-  StaticProperties extends ConfigStaticProperties,
-  Shorthands extends { [k: string]: Array<keyof StaticProperties> },
-> = {
+export type OptionsDynamic<DynamicProperties extends ConfigDynamicProperties> =
+  {
+    dynamicProperties: DynamicProperties;
+  };
+export type OptionsStatic<StaticProperties extends ConfigStaticProperties> = {
   staticProperties: StaticProperties;
-  shorthands?: Shorthands;
 };
 export type OptionsBoth<
   DynamicProperties extends ConfigDynamicProperties,
   StaticProperties extends ConfigStaticProperties,
-  Shorthands extends ConfigShorthands<DynamicProperties, StaticProperties>,
 > = {
   dynamicProperties: DynamicProperties;
   staticProperties: StaticProperties;
-  shorthands?: Shorthands;
 };
 
-// Conditional Dynamic Properties + Shorthands
+/**
+ * NO SHORTHANDS + NO CONDITIONS
+ */
+
+// Dynamic Properties
+export function defineProperties<
+  DynamicProperties extends ConfigDynamicProperties,
+>(
+  options: CommonOptions & OptionsDynamic<DynamicProperties>,
+): ReturnDynamic<DynamicProperties>;
+// Static Properties
+export function defineProperties<
+  StaticProperties extends ConfigStaticProperties,
+>(
+  options: CommonOptions & OptionsStatic<StaticProperties>,
+): ReturnStatic<StaticProperties>;
+// Dynamic Properties + Static Properties
+export function defineProperties<
+  DynamicProperties extends ConfigDynamicProperties,
+  StaticProperties extends ConfigStaticProperties,
+>(
+  options: CommonOptions & OptionsBoth<DynamicProperties, StaticProperties>,
+): ReturnStatic<StaticProperties> & ReturnDynamic<DynamicProperties>;
+
+/**
+ * SHORTHANDS + NO CONDITIONS
+ */
+
+// Dynamic Properties + Shorthands
 export function defineProperties<
   DynamicProperties extends ConfigDynamicProperties,
-  Conditions extends ConfigConditions,
   Shorthands extends { [k: string]: Array<keyof DynamicProperties> },
 >(
   options: CommonOptions &
-    OptionsConditionalDynamic<DynamicProperties, Conditions, Shorthands>,
-): ReturnConditionalDynamic<DynamicProperties, Conditions> &
-  ReturnShorthands<Shorthands>;
-// Conditional Static Properties + Shorthands
+    OptionsDynamic<DynamicProperties> &
+    ShorthandOptions<DynamicProperties, Shorthands>,
+): ReturnDynamic<DynamicProperties> & ReturnShorthands<Shorthands>;
+// Static Properties + Shorthands
 export function defineProperties<
   StaticProperties extends ConfigStaticProperties,
-  Conditions extends ConfigConditions,
   Shorthands extends { [k: string]: Array<keyof StaticProperties> },
 >(
   options: CommonOptions &
-    OptionsConditionalStatic<StaticProperties, Conditions, Shorthands>,
-): ReturnConditionalStatic<StaticProperties, Conditions> &
+    OptionsStatic<StaticProperties> &
+    ShorthandOptions<StaticProperties, Shorthands>,
+): ReturnStatic<StaticProperties> & ReturnShorthands<Shorthands>;
+// Dynamic Properties + Static Properties + Shorthands
+export function defineProperties<
+  DynamicProperties extends ConfigDynamicProperties,
+  StaticProperties extends ConfigStaticProperties,
+  Shorthands extends ConfigShorthands<DynamicProperties, StaticProperties>,
+>(
+  options: CommonOptions &
+    OptionsBoth<DynamicProperties, StaticProperties> &
+    ShorthandOptions<DynamicProperties & StaticProperties, Shorthands>,
+): ReturnStatic<StaticProperties> &
+  ReturnDynamic<DynamicProperties> &
   ReturnShorthands<Shorthands>;
-// Conditional Dynamic Properties + Conditional Static Properties + Shorthands
+
+/**
+ * NO SHORTHANDS + CONDITIONS
+ */
+
+// Conditional Dynamic Properties
+export function defineProperties<
+  DynamicProperties extends ConfigDynamicProperties,
+  Conditions extends ConfigConditions,
+>(
+  options: CommonOptions &
+    OptionsConditionalDynamic<DynamicProperties, Conditions>,
+): ReturnConditionalDynamic<DynamicProperties, Conditions>;
+// Conditional Static Properties
+export function defineProperties<
+  StaticProperties extends ConfigStaticProperties,
+  Conditions extends ConfigConditions,
+>(
+  options: CommonOptions &
+    OptionsConditionalStatic<StaticProperties, Conditions>,
+): ReturnConditionalStatic<StaticProperties, Conditions>;
+// Conditional Dynamic Properties + Conditional Static Properties
 export function defineProperties<
   DynamicProperties extends ConfigDynamicProperties,
   StaticProperties extends ConfigStaticProperties,
   Conditions extends ConfigConditions,
-  Shorthands extends ConfigShorthands<DynamicProperties, StaticProperties>,
 >(
   options: CommonOptions &
-    OptionsConditionalBoth<
-      DynamicProperties,
-      StaticProperties,
-      Conditions,
-      Shorthands
-    >,
+    OptionsConditionalBoth<DynamicProperties, StaticProperties, Conditions>,
 ): ReturnConditionalStatic<StaticProperties, Conditions> &
-  ReturnConditionalDynamic<DynamicProperties, Conditions> &
-  ReturnShorthands<Shorthands>;
-// Dynamic Properties + Shorthands
+  ReturnConditionalDynamic<DynamicProperties, Conditions>;
+
+/**
+ * SHORTHANDS + CONDITIONS
+ */
+
+// Conditional Dynamic Properties + Shorthands
 export function defineProperties<
   DynamicProperties extends ConfigDynamicProperties,
+  Conditions extends ConfigConditions,
   Shorthands extends { [k: string]: Array<keyof DynamicProperties> },
 >(
-  options: CommonOptions & OptionsDynamic<DynamicProperties, Shorthands>,
-): ReturnDynamic<DynamicProperties> & ReturnShorthands<Shorthands>;
-// Static Properties + Shorthands
+  options: CommonOptions &
+    OptionsConditionalDynamic<DynamicProperties, Conditions> &
+    ShorthandOptions<DynamicProperties, Shorthands>,
+): ReturnConditionalDynamic<DynamicProperties, Conditions> &
+  ReturnShorthands<Shorthands>;
+// Conditional Static Properties + Shorthands
 export function defineProperties<
   StaticProperties extends ConfigStaticProperties,
+  Conditions extends ConfigConditions,
   Shorthands extends { [k: string]: Array<keyof StaticProperties> },
 >(
-  options: CommonOptions & OptionsStatic<StaticProperties, Shorthands>,
-): ReturnStatic<StaticProperties> & ReturnShorthands<Shorthands>;
-// Dynamic Properties + Static Properties + Shorthands
+  options: CommonOptions &
+    OptionsConditionalStatic<StaticProperties, Conditions> &
+    ShorthandOptions<StaticProperties, Shorthands>,
+): ReturnConditionalStatic<StaticProperties, Conditions> &
+  ReturnShorthands<Shorthands>;
+// Conditional Dynamic Properties + Conditional Static Properties + Shorthands
 export function defineProperties<
   DynamicProperties extends ConfigDynamicProperties,
   StaticProperties extends ConfigStaticProperties,
+  Conditions extends ConfigConditions,
   Shorthands extends ConfigShorthands<DynamicProperties, StaticProperties>,
 >(
   options: CommonOptions &
-    OptionsBoth<DynamicProperties, StaticProperties, Shorthands>,
-): ReturnStatic<StaticProperties> &
-  ReturnDynamic<DynamicProperties> &
+    OptionsConditionalBoth<DynamicProperties, StaticProperties, Conditions> &
+    ShorthandOptions<DynamicProperties & StaticProperties, Shorthands>,
+): ReturnConditionalStatic<StaticProperties, Conditions> &
+  ReturnConditionalDynamic<DynamicProperties, Conditions> &
   ReturnShorthands<Shorthands>;
 export function defineProperties(options: any): any {
   const {