definition module KeeperChallenger

import Footballer

keeperChallenger :: !FootballerID -> Footballer