trait Mappable<A, B>
{
    type M<A> where M<A> = Self;
    type M<B>;

    fn map<A, B>(self, f: A -> B) -> M<B>;
}