fourmolu-0.0.6.0: data/examples/declaration/type/misc-kind-signatures-out.hs

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

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