Integral -package:basement -package:algebra -package:bytestring-lexing -package:faktory -package:relude package:lens

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.