`mkStaticI` not helpful. Better to keep the API simple.