Defined AA in Haskell.