是否可以制作自定义WordN整数？

Question

在Data.Word模块中，它提供Word8，Word16等类型。

有没有办法实现我自己的Word类型，例如Word4（高效）？

Answer 1

SBV包有一个示例：Data.SBV.Examples.Misc.Word4。