
  0 | module TyTTP.Core.Error
  1 | 
  2 | 
  3 | public export
  4 | interface Error e where
  5 |   message : e -> String
  6 | 
  7 | export
  8 | Error String where
  9 |   message = id
 10 | 
 11 |