LawConcepts





 
    

data Law = Private_Law | Penal_Law | Public_Law

data Concepts = Consulting | Counseling | Consensus

action :: Law - > Concepts -> ByteCode