fourmolu-0.0.6.0: data/examples/declaration/type/type-applications.hs

{-# LANGUAGE TypeApplications #-}

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