Integral -package:basement -package:foundation package:optics-core

Pattern synonym that can be used to construct or pattern match on an Integer as if it were of any Integral type.
This Prism can be used to model the fact that every Integral type is a subset of Integer. Embedding through the Prism only succeeds if the Integer would pass through unmodified when re-extracted.