úÎ’‚(      !"#$%&'                    !"!"!"!""#$%&'#$%&'#$%&'#$%&'(        !"#$%&'()*+data-type-0.0.1 Data.Type.NatData.Type.TListData.Type.Bool Data.Type.EqData.Type.ApplyData.Type.MemberNatfromNatSZzeroonetwothree:*:TNilCNotcNotTOrtOrTAndtAndTNottNotTFalseTTruehTruehFalseTypeEq TypeCast'' typeCast'' TypeCast' typeCast'TypeCasttypeCastApplyapplyMembermembermNilmUnitmCons