import Base

type Lang is Data:
  En{}
  Pt{}

def hello(l: Lang) -> String:
  match l:
    case En{}:
      "Hello, world!"
    case Pt{}:
      "Olá, mundo!"

def loud(l: Lang) -> String:
  String.append(hello(l), "!!")