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

concrete AllLat of AllLatAbs = 
  LangLat
--  ExtraLat
  ** {} ;