@@ -660,7 +660,11 @@ instance HasDocs Delete where
660660 action' = action & response.respBody .~ []
661661 & response.respStatus .~ 204
662662
663−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
663+instance
664+#if MIN_VERSION_base(4,8,0)
665+ {-# OVERLAPPABLe #-}
666+#endif
667+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
664668 => HasDocs (Get cts a) where
665669 docsFor Proxy (endpoint, action) =
666670 single endpoint' action'
@@ -671,7 +675,11 @@ instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
671675 t = Proxy :: Proxy cts
672676 p = Proxy :: Proxy a
673677
674−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
678+instance
679+#if MIN_VERSION_base(4,8,0)
680+ {-# OVERLAPPING #-}
681+#endif
682+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
675683 , AllHeaderSamples ls , GetHeaders (HList ls) )
676684 => HasDocs (Get cts (Headers ls a)) where
677685 docsFor Proxy (endpoint, action) =
@@ -694,7 +702,11 @@ instance (KnownSymbol sym, HasDocs sublayout)
694702 action' = over headers (|> headername) action
695703 headername = pack $ symbolVal (Proxy :: Proxy sym)
696704
697−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
705+instance
706+#if MIN_VERSION_base(4,8,0)
707+ {-# OVERLAPPABLE #-}
708+#endif
709+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
698710 => HasDocs (Post cts a) where
699711 docsFor Proxy (endpoint, action) =
700712 single endpoint' action'
@@ -706,7 +718,11 @@ instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
706718 t = Proxy :: Proxy cts
707719 p = Proxy :: Proxy a
708720
709−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
721+instance
722+#if MIN_VERSION_base(4,8,0)
723+ {-# OVERLAPPING #-}
724+#endif
725+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
710726 , AllHeaderSamples ls , GetHeaders (HList ls) )
711727 => HasDocs (Post cts (Headers ls a)) where
712728 docsFor Proxy (endpoint, action) =
@@ -721,7 +737,11 @@ instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
721737 t = Proxy :: Proxy cts
722738 p = Proxy :: Proxy a
723739
724−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
740+instance
741+#if MIN_VERSION_base(4,8,0)
742+ {-# OVERLAPPABLE #-}
743+#endif
744+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
725745 => HasDocs (Put cts a) where
726746 docsFor Proxy (endpoint, action) =
727747 single endpoint' action'
@@ -733,7 +753,11 @@ instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts)
733753 t = Proxy :: Proxy cts
734754 p = Proxy :: Proxy a
735755
736−instance (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
756+instance
757+#if MIN_VERSION_base(4,8,0)
758+ {-# OVERLAPPING #-}
759+#endif
760+ (ToSample a b, IsNonEmpty cts, AllMimeRender cts b, SupportedTypes cts
737761 , AllHeaderSamples ls , GetHeaders (HList ls) )
738762 => HasDocs (Put cts (Headers ls a)) where
739763 docsFor Proxy (endpoint, action) =