docs006.idr

module docs006

||| interface
||| @ t some parameter
interface Eq t => Foo t where
  ||| member of interface
  m : t