Data.Algebra.TH
deriveInstance
deriveInstanceWith
deriveInstanceWith_skipSignature
deriveSignature
data SignatureTH
data OperationTH
getSignatureInfo
buildSignatureDataType
signatureInstances