ClosedFam2.hs-boot 83 Bytes