dhall-1.11.0: tests/typecheck/examples/Monoid/08B.dhall

∀(a : Type) → ../../../../Prelude/Monoid (Optional a)