idris-0.10: test/reg060/reg060.idr

interface MyFunctor (f : Type -> Type) where
  mymap : (m : a -> b) -> f a -> f b

data Foo x y = Bar y

implementation MyFunctor (Foo m) where
  mymap m x = ?wibble

implementation [foo] Functor m => MyFunctor m where
  mymap m x = map m x