purescript-0.10.1: examples/warning/UnusedExplicitImportTypeOp/Lib.purs
module Lib where type Nat f g = ∀ x. f x → g x infixr 4 type Nat as ~> natId ∷ ∀ f. f ~> f natId x = x
module Lib where type Nat f g = ∀ x. f x → g x infixr 4 type Nat as ~> natId ∷ ∀ f. f ~> f natId x = x