include "LoggingJava"
+include "LoggingMDC" as MDC
+
+importJava "org.slf4j.MarkerFactory" where
+ // Note: this method is pure by purpose, because MarkerFactory should always return the same marker
+ @JavaName getMarker
+ marker :: String -> Marker
\ No newline at end of file