Implemented functors for Id, List and Optional