idris-0.9.10: libs/prelude/Prelude/Functor.idr

module Prelude.Functor

class Functor (f : Type -> Type) where
    map : (a -> b) -> f a -> f b