Added Select to IO
Fixed warnings and had a mini test of monad transforming