&& is:exact package:base set:included-with-ghc

Boolean "and", lazy in the second argument
Type-level "and"