type
  typ* = distinct int