-- data Clause = ...
clauseName :: Name
clauseName = libFun (fsLit "clause") clauseIdKey
clauseName :: Name
clauseName = libFun (fsLit "clause") clauseIdKey
clauseName = libFun (fsLit "clause") clauseIdKey