haskellOCL