fourmolu-0.2.0.0: data/examples/declaration/type/type-applications-four-out.hs

{-# LANGUAGE TypeApplications #-}

type P = K @Bool @(Bool :: *) 'True 'False