Basically so that people end-users don't have to enable another pragma (``-XDataKinds``) to write down their type signatures. So in ``examples/gemm.hs`` the extra Language pragma would disappear since we could just write ``Row`` instead of ``'Row``.