instance DemoteNodeTypes ('[] :: [NodeType]) where
    demoteNodeTypes _ = []

b :: (Bool :: *)
b = True

instance DemoteNodeTypes ('[] :: [NodeType]) where
    demoteNodeTypes _ = []

b :: (Bool :: *)
b = True
