From f501de7008758e57b7eab397738c1f121ea98b9f Mon Sep 17 00:00:00 2001
From: sabadev <saba@sabadev.xyz>
Date: Mon, 22 Mar 2021 21:09:15 -0400
Subject: [PATCH] Inlined some proxies.

---
 src/ApiTypes.hs | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

diff --git a/src/ApiTypes.hs b/src/ApiTypes.hs
index 7a3dd90..5eb93b7 100644
--- a/src/ApiTypes.hs
+++ b/src/ApiTypes.hs
@@ -52,20 +52,11 @@ instance ToHttpApiData Theme where
 apiProxy :: Proxy Api
 apiProxy = Proxy
 
-blogProxy :: Proxy BlogPost
-blogProxy = Proxy
-
-darkThemeProxy :: Proxy DarkTheme
-darkThemeProxy = Proxy
-
-lightThemeProxy :: Proxy LightTheme
-lightThemeProxy = Proxy
-
 safeBlogLink :: MkLink BlogPost Link
-safeBlogLink = safeLink apiProxy blogProxy
+safeBlogLink = safeLink apiProxy (Proxy :: Proxy BlogPost)
 
 safeDarkThemeLink :: MkLink DarkTheme Link
-safeDarkThemeLink = safeLink apiProxy darkThemeProxy
+safeDarkThemeLink = safeLink apiProxy (Proxy :: Proxy DarkTheme)
 
 safeLightThemeLink :: MkLink LightTheme Link
-safeLightThemeLink = safeLink apiProxy lightThemeProxy
+safeLightThemeLink = safeLink apiProxy (Proxy :: Proxy LightTheme)
-- 
2.20.1