Clr.Bridge

type family BridgeType (x :: Type) :: Type where ...

type family BridgeTypePrim (x :: Type)

type family BridgeTypeObject (x :: Type)

type family BridgeTypeL (a :: [Type]) :: [Type] where ...

type family BridgeTypes (x :: [Type]) :: Type where ...