@@ -7,7 +7,6 @@
77{-# LANGUAGE MultiParamTypeClasses #-}
88{-# LANGUAGE Rank2Types #-}
99{-# LANGUAGE ScopedTypeVariables #-}
10−{-# LANGUAGE TypeApplications #-}
1110{-# LANGUAGE TypeFamilies #-}
1211{-# LANGUAGE TypeSynonymInstances #-}
1312{-# LANGUAGE UndecidableInstances #-}
@@ -66,19 +65,19 @@ instance js ~ NoJavaScript => Prerender js (StaticDomBuilderT t m) where
6665 prerenderClientDict = Nothing
6766
6867instance (Prerender js m, ReflexHost t) => Prerender js (PostBuildT t m) where
69− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
68+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
7069
7170instance Prerender js m => Prerender js (DynamicWriterT t w m) where
72− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
71+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
7372
7473instance Prerender js m => Prerender js (ReaderT w m) where
75− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
74+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
7675
7776instance Prerender js m => Prerender js (RequesterT t request response m) where
78− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
77+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
7978
8079instance Prerender js m => Prerender js (QueryT t q m) where
81− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
80+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))
8281
8382instance Prerender js m => Prerender js (InputDisabledT m) where
84− prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict @js @m)
83+ prerenderClientDict = fmap (\Dict -> Dict) (prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js m)))