expected

Type class Functor
    Functors allow a uniform action over a parameterised type.

Parameters:
    f   -- a parameterised type

Methods:
    map : Functor f => (m : a -> b) -> f a -> f b
        Apply a function across everything of type 'a' in a
        parameterised type
        
        The function is Total
Instances:
    Functor List
    Functor (IO' ffi)
    Functor Stream
    Functor Provider
    Functor Binder
    Functor Elab
    Functor PrimIO
    Functor Maybe
    Functor (Either e)

Named instances:
    docs003.mine : Functor List
    docs003.another : Functor List
        More functors!

Subclasses:
    Traversable f
    Applicative f
Named instance:
    docs003.mine : Functor List
        
        
Named instance:
    docs003.another : Functor List
        More functors!