* big typo
objects can be functions
+ implement map via reduce
+ point free factorial