CAD Software for Haskell