From: sabadev <saba@sabadev.xyz>
Date: Tue, 23 Mar 2021 01:09:15 +0000 (-0400)
Subject: Inlined some proxies.
X-Git-Url: http://sabadev.xyz:4321/?a=commitdiff_plain;h=f501de7008758e57b7eab397738c1f121ea98b9f;p=website.git

Inlined some proxies.
---

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)