Discussion with Rahul on Monads, Functors, Algeabric Data Types, etc. Also a discussion on Types with Mushtaq