declare
  X = just("Data")
in
  case X of nothing then skip
  [] just(Result) then {Show Result}
  end