[ docs ] Correctly wrap data constructor docstrings with `DocStringBody` annotation
[ docs ] Correctly wrap data constructor docstrings with `DocStringBody` annotation

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm