List Typelevel options when -Z flag is given