Functor done
List done
Apply done
applicative done
WIP