TODO comment in Rule/Types.hs