если при использовании значения нужно зачастую доставать все значения и их мало - продакт, если только какие-то конкретные, а остальные игнорить - рекорд

type MedType
    = Poly
    | Stomat
    | Home

type ProgrammContent
    = ProgrammContent MedType (Maybe Int)

type alias ProgrammContent =
      { medType : MedType
    , medInfo : Maybe Int
 }

Помимо сказанного выше, первый вариант удобно использовать для сокрытия деталей имплементации внутри модуля. Это было у Эвана в докладе Life of File

Тогда лучше сделать так, ИМХО:

type ProgrammContent = ProgrammContent
      { medType : MedType
    , medInfo : Maybe Int
 }

Тогда будет и сокрытие, и нормальные имена полей

сокрытие разве будет? То есть геттеры нужно отдельно экспортировать?

Вот так правильно:

module Temp exposing (ProgrammContent)

type ProgrammContent = ProgrammContent
      { medType : MedType
      , medInfo : Maybe Int
      }

тогда будет абстрактный тип ProgrammContent, про который ничего неизвестно кроме названия типа

Можно экспортировать даже выборочные геттеры

module Temp exposing (ProgrammContent) прячет ещё и конструктор

module M exposing (T(someGetter,SomeConstructor(..)) и всякое такое

не путаешь ли ты с Хаскеллем?

или ты имеешь в виду геттер как самописная функция?

Я вот сам засомневался, всё ли работает. Надо проверить :) Частичные экспорты конструкторов точно работают

Как-то так:

module Temp exposing (ProgrammContent, getMedType)

type ProgrammContent = ProgrammContent
      { medType : MedType
      , medInfo : Maybe Int
      }

getMedType : ProgrammContent -> MedType
getMedType (ProgrammContent p) = .medType p

Вот да, геттеры экспортируются вместе с конструктором

В Elm вообще нету геттеров у data типов

Есть только геттеры у рекордов

Т.о. нельзя экспортировать геттер, не экспортируюя конструктор

Есть "схема полей" типа