rzk-0.9.0: test/typecheck/cases/happy-modal-flat-under-op.rzk

#lang rzk-1

-- Flat var are accessible under op
#def flat-under-op
  (A :_b U) (a :_b A)
  : _op A
  := mod _op a