WIP Pseudofunctor
Add more docs
wip