added map, join, unit to implement Monad Laws