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

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

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