Removed undecidable instance flag, moved orphan to a new home, removed MonadState instance