data Offense = MensRea | ActusReus CriminalLaw :: [Offense] -> Punishment ExtenuatingCircumstances :: CriminalLaw -> [Circumstance] -> ExtenuatingEffect -> Punishment