
  0 | module Scratchpad
  1 | 
  2 | %default total
  3 | 
  4 | interface Concat a where
  5 |   (++) : a -> a -> a
  6 | 
  7 | implementation Concat String where
  8 |   (++) a b = a ++ b
  9 | 
 10 | interface Concat a => Empty a where
 11 |   empty : a
 12 | 
 13 | implementation Empty String where
 14 |   empty = ""
 15 |