|Portability||non-portable (GHC Extensions)|
|Maintainer||Patrick Bahr <firstname.lastname@example.org>|
This module defines showing of (higher-order) signatures, which lifts to showing of (higher-order) terms and contexts. All definitions are generalised versions of those in Data.Comp.Show.
Signature printing. An instance
ShowHF f gives rise to an instance
KShow (HTerm f).