Abstract
This report describes a Haskell [HPe92] module that implements finite versions of the set, relation and function types from Z [Hay87] [Spi89]. It uses the literate script convention, where each executable Haskell line begins with a > character.