:set -XTypeApplications :t out_of_scope @[]