add Switch instances for transformer data types
fix distributive comment
MonadMaybe type class + instances
exciting new parser stack including reader and writer