SafeLang19.hs:2:20: warning:
    -XDerivingVia is not allowed in Safe Haskell; ignoring -XDerivingVia