algebraic-classes-0.6: examples/Signatures.hs

{-# OPTIONS_GHC -ddump-splices #-}
{-# LANGUAGE TemplateHaskell, TypeFamilies, DeriveTraversable #-}

import Data.Algebra.TH

deriveSignature ''Monoid
deriveSignature ''Num