Renaming the ProtoMonad type class to ProtoMonadComp.
Updated comments.
Updated comment again.