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

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