class Window():

  implements WindowView

  constructor (

    ~title: title :: MaybeObs.of(String) = "Untitled",

    ~size: size :: MaybeObs.of(Size) = [#false, #false],

    ~alignment: alignment :: MaybeObs.of(Alignment) = [#'center, #'top],

    ~position: position :: MaybeObs.of(Position) = #'center,

    ~min_size: min_size :: MaybeObs.of(Size) = [#false, #false],

    ~stretch: stretch :: MaybeObs.of(Stretch) = [#true, #true],

    ~style: style :: MaybeObs.of(List.of(Window.StyleSymbol)) = [],

    ~mixin: mix :: Function = values,

    child :: MaybeObs.of(View), ...

  )