--# -path=.:../abstract:../common:../prelude

concrete AllMay of AllMayAbs =
  LangMay,
  ExtendMay
  ** {} ;