gistfile1.txt

src/L/ReplTools.hs:70:39:
    Could not deduce (Show y) arising from a use of ‘Constrained’
    from the context (FromSExpr i, Show i, Show o)
      bound by the type signature for
                 f :: (FromSExpr i, Show i, Show o) => Compiler i o -> IO ()
      at src/L/ReplTools.hs:69:8-61
    Possible fix:
      add (Show y) to the context of
        a type expected by the context:
          Compiler1 x y -> (:=>) Show Compiler1 x y
        or the type signature for
             f :: (FromSExpr i, Show i, Show o) => Compiler i o -> IO ()
    In the first argument of ‘mapThrist’, namely ‘Constrained’
    In the first argument of ‘compileTurtlesFile’, namely
      ‘(mapThrist Constrained c)’
    In the expression:
      compileTurtlesFile (mapThrist Constrained c) opts inputFile