Create PureOcp.hs