+data Definition
+ = Definition {
+ defTerm ∷ ![InlineElement]
+ , defDesc ∷ ![InlineElement]
+ }
+ deriving (Eq, Show)
+
+data CommandType
+ = InlineCommandType
+ | BlockCommandType
+ deriving (Eq, Show)
+
+data BlockCommand
+ = BlockCommand {
+ bCmdName ∷ !Text
+ , bCmdAttributes ∷ ![Attribute]
+ , bCmdContents ∷ ![BlockElement]
+ }
+ deriving (Eq, Show)
+
+data InlineCommand
+ = InlineCommand {
+ iCmdName :: !Text
+ , iCmdAttributes :: ![Attribute]
+ , iCmdContents :: ![InlineElement]
+ }
+ deriving (Eq, Show)