Use .purs file extension