Preprocessing executables for blog-0.1... Building blog-0.1... [13 of 16] Compiling Blog.Views ( src/Blog/Views.hs, dist/build/blog.cgi/blog.cgi-tmp/Blog/Views.o ) src/Blog/Views.hs:87:40: Overlapping instances for SEType a (([Char], [(Blog.Category.Category, [Char])]) -> ([Char], Bool) -> ByteString) arising from a use of `renderf' at src/Blog/Views.hs:(87,40)-(89,42) Matching instances: instance (ToSElem a, SEType b r) => SEType b ((String, a) -> r) -- Defined in HStringTemplate-0.5.1.3:Text.StringTemplate.Renderf instance (Stringable a) => SEType a a -- Defined in HStringTemplate-0.5.1.3:Text.StringTemplate.Renderf (The choice depends on the instantiation of `a' To pick the first instance above, use -XIncoherentInstances when compiling the other instance declarations) In the second argument of `($)', namely `(renderf t ("categories", categories) ("hasCategories", not $ null cats))' In the second argument of `($)', namely `standardResponseBS $ (renderf t ("categories", categories) ("hasCategories", not $ null cats))' In the second argument of `($)', namely `Just $ standardResponseBS $ (renderf t ("categories", categories) ("hasCategories", not $ null cats))'