report :: MoleculeExpr -> Either MoleculeError MoleculeType -> String
report e (Right t) = concat [
    "\nSuccess:\n"
  , show e
  , "\nhas type: "
  , show t
  ]
report :: MoleculeExpr -> Either MoleculeError MoleculeType -> String
report e (Right t) = concat [
    "\nSuccess:\n"
  , show e
  , "\nhas type: "
  , show t
  ]
report e (Right t) = concat [
    "\nSuccess:\n"
  , show e
  , "\nhas type: "
  , show t
  ]