printTerm
  ∷ ( MonadIO m
    , MonadVar Var m
    )
  ⇒ Tm0 Op
  → m ()
printTerm =
  toString >=> liftIO . print
   


printTerm
  ∷ ( MonadIO m
    , MonadVar Var m
    )
  ⇒ Tm0 Op
  → m ()
printTerm =
  toString >=> liftIO . print
printTerm =
  toString >=> liftIO . print