ClosedFam1.hs-boot 132 Bytes