Switching off the the monomorphic restriction