type
  typ* = distinct string