import Base
import ./greet.bend as G

def main() -> IO(Unit):
  do IO<Unit>:
    Unit <- IO.print(G.hello(G.En{}))
    IO.print(G.loud(G.Pt{}))