Actually remove the old Monad instance
Define fmap using bind and return
Move out magic :: Zero -> a
Add Name a thin layer on top of String to get nicer pretty printing
fix const'