Type Alias Map 

pub type Map<F, Fun> = Eval<MapOn<<Fun as Value>::Type, F>, Fun>;