cradle: direct: arguments: - "-XTypeApplications" - "ApplyRefact1"