changed default monitor
added ghci settings as seen in https://www.youtube.com/watch?v=QpDQhGYPqkU