diff --git a/src/Renderer/TOC.hs b/src/Renderer/TOC.hs index 9f2fe3132..f5f24b154 100644 --- a/src/Renderer/TOC.hs +++ b/src/Renderer/TOC.hs @@ -103,6 +103,10 @@ class HasDeclarationWithStrategy (strategy :: Strategy) f where toDeclarationWithStrategy :: proxy strategy -> f a -> Maybe Declaration +instance HasDeclarationWithStrategy 'Default f where + toDeclarationWithStrategy _ _ = Nothing + + getDeclaration :: HasField fields (Maybe Declaration) => Record fields -> Maybe Declaration getDeclaration = getField