{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE NoStarIsType #-}

class PNum x where
    type (a :: x) * (b :: x)

instance PNum Nat where
    type a * b = ()
