Add Alternative instance for ProgramT