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