interface Hat.TimeBuiltinTypes where {

{-# NEED #-}
instance NHC.FFI.Storable NHC.FFI.CChar;

{-# NEED #-}
instance NHC.FFI.Storable (NHC.FFI.Ptr a);

{-# NEED #-}
instance Hat.Ix.Ix Day;

{-# NEED #-}
instance Hat.Ix.Ix Month;

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j,Hat.Ix.Ix k,Hat.Ix.Ix l,Hat.Ix.Ix m,Hat.Ix.Ix n,Hat.Ix.Ix o) => Hat.Ix.Ix (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j,Hat.Ix.Ix k,Hat.Ix.Ix l,Hat.Ix.Ix m,Hat.Ix.Ix n) => Hat.Ix.Ix (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j,Hat.Ix.Ix k,Hat.Ix.Ix l,Hat.Ix.Ix m) => Hat.Ix.Ix (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j,Hat.Ix.Ix k,Hat.Ix.Ix l) => Hat.Ix.Ix (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j,Hat.Ix.Ix k) => Hat.Ix.Ix (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i,Hat.Ix.Ix j) => Hat.Ix.Ix (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h,Hat.Ix.Ix i) => Hat.Ix.Ix (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g,Hat.Ix.Ix h) => Hat.Ix.Ix (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f,Hat.Ix.Ix g) => Hat.Ix.Ix (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e,Hat.Ix.Ix f) => Hat.Ix.Ix (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d,Hat.Ix.Ix e) => Hat.Ix.Ix (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c,Hat.Ix.Ix d) => Hat.Ix.Ix (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b,Hat.Ix.Ix c) => Hat.Ix.Ix (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance Hat.Ix.Ix Hat.Hat.Tuple0;

{-# NEED #-}
instance Hat.Ix.Ix Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.Ix.Ix Prelude.Char;

{-# NEED #-}
instance (Hat.Ix.Ix a,Hat.Ix.Ix b) => Hat.Ix.Ix (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.Ix.Ix Prelude.Bool;

{-# NEED #-}
instance Hat.Ix.Ix Prelude.Int;

{-# NEED #-}
instance Hat.Ix.Ix Prelude.Integer;

{-# NEED #-}
instance Prelude.Functor NHC.Internal.IO;

{-# NEED #-}
instance Prelude.Monad NHC.Internal.IO;

{-# NEED #-}
instance Hat.Hat.WrapVal TimeDiff;

{-# NEED #-}
instance Hat.Hat.WrapVal CalendarTime;

{-# NEED #-}
instance Hat.Hat.WrapVal Day;

{-# NEED #-}
instance Hat.Hat.WrapVal Month;

{-# NEED #-}
instance Hat.Hat.WrapVal (Hat.PreludeBasic.Either a b);

{-# NEED #-}
instance Hat.Hat.WrapVal (Hat.PreludeBasic.Maybe a);

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.Hat.WrapVal (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.Hat.WrapVal Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.RealFloat Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.RealFloat Prelude.Double;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.RealFrac (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.RealFrac Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.RealFrac Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Floating Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Floating Prelude.Double;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Fractional (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Fractional Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Fractional Prelude.Double;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Fractional (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.RealFrac (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Bounded IO.IOMode;

{-# NEED #-}
instance Prelude.Bounded IO.SeekMode;

{-# NEED #-}
instance Prelude.Bounded NHC.FFI.CChar;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Num (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Num NHC.FFI.CChar;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Real (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Real NHC.FFI.CChar;

{-# NEED #-}
instance (Prelude.Read a,Prelude.Integral a) => Prelude.Read (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Read IO.IOMode;

{-# NEED #-}
instance Prelude.Read IO.SeekMode;

{-# NEED #-}
instance Prelude.Read IO.BufferMode;

{-# NEED #-}
instance Prelude.Read NHC.FFI.CChar;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Enum (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Enum IO.IOMode;

{-# NEED #-}
instance Prelude.Enum IO.SeekMode;

{-# NEED #-}
instance Prelude.Enum NHC.FFI.CChar;

{-# NEED #-}
instance Prelude.Enum DErrNo.ErrNo;

{-# NEED #-}
instance Prelude.Enum (NHC.FFI.Ptr a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Ord (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Ord IO.IOMode;

{-# NEED #-}
instance Prelude.Ord IO.SeekMode;

{-# NEED #-}
instance Prelude.Ord IO.BufferMode;

{-# NEED #-}
instance Prelude.Ord NHC.FFI.CChar;

{-# NEED #-}
instance Prelude.Ord (NHC.FFI.Ptr a);

{-# NEED #-}
instance (Prelude.Show a) => Prelude.Show (NHC.Internal.IO a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Show (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Show IO.IOMode;

{-# NEED #-}
instance Prelude.Show IO.SeekMode;

{-# NEED #-}
instance Prelude.Show IO.BufferMode;

{-# NEED #-}
instance Prelude.Show NHC.FFI.CChar;

{-# NEED #-}
instance Prelude.Show IO.Handle;

{-# NEED #-}
instance Prelude.Show IO.HandlePosn;

{-# NEED #-}
instance Prelude.Show DErrNo.ErrNo;

{-# NEED #-}
instance Prelude.Show (NHC.FFI.Ptr a);

{-# NEED #-}
instance Prelude.Integral NHC.FFI.CChar;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Eq (Ratio.Ratio a);

{-# NEED #-}
instance Prelude.Eq IO.IOMode;

{-# NEED #-}
instance Prelude.Eq IO.SeekMode;

{-# NEED #-}
instance Prelude.Eq IO.BufferMode;

{-# NEED #-}
instance Prelude.Eq NHC.FFI.CChar;

{-# NEED #-}
instance Prelude.Eq IO.Handle;

{-# NEED #-}
instance Prelude.Eq IO.HandlePosn;

{-# NEED #-}
instance Prelude.Eq DErrNo.ErrNo;

{-# NEED #-}
instance Prelude.Eq (NHC.FFI.Ptr a);

{-# NEED #-}
instance Prelude.Eq Hat.Hat.RefExp;

{-# NEED #-}
instance Hat.PreludeBasic.Monad Hat.Hat.IO;

{-# NEED #-}
instance Hat.PreludeBasic.Monad Hat.PreludeBasic.Maybe;

{-# NEED #-}
instance Hat.PreludeBasic.Monad Hat.Hat.List;

{-# NEED #-}
instance Hat.PreludeBasic.Functor Hat.Hat.IO;

{-# NEED #-}
instance Hat.PreludeBasic.Functor Hat.PreludeBasic.Maybe;

{-# NEED #-}
instance Hat.PreludeBasic.Functor Hat.Hat.List;

{-# NEED #-}
instance Hat.PreludeBasic.Integral Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Integral Prelude.Integer;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Real (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Real Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Real Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Real Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Real Prelude.Integer;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Day;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Month;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Hat.Hat.Tuple0;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Enum (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Enum Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Char;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Enum Prelude.Integer;

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i,Ix.Ix j,Ix.Ix k,Ix.Ix l,Ix.Ix m,Ix.Ix n,Ix.Ix o) => Ix.Ix (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i,Ix.Ix j,Ix.Ix k,Ix.Ix l,Ix.Ix m) => Ix.Ix (a,b,c,d,e,f,g,h,i,j,k,l,m);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i,Ix.Ix j,Ix.Ix k,Ix.Ix l) => Ix.Ix (a,b,c,d,e,f,g,h,i,j,k,l);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i,Ix.Ix j,Ix.Ix k) => Ix.Ix (a,b,c,d,e,f,g,h,i,j,k);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i,Ix.Ix j) => Ix.Ix (a,b,c,d,e,f,g,h,i,j);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h,Ix.Ix i) => Ix.Ix (a,b,c,d,e,f,g,h,i);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g,Ix.Ix h) => Ix.Ix (a,b,c,d,e,f,g,h);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f,Ix.Ix g) => Ix.Ix (a,b,c,d,e,f,g);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e,Ix.Ix f) => Ix.Ix (a,b,c,d,e,f);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d,Ix.Ix e) => Ix.Ix (a,b,c,d,e);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c,Ix.Ix d) => Ix.Ix (a,b,c,d);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b,Ix.Ix c) => Ix.Ix (a,b,c);

{-# NEED #-}
instance (Ix.Ix a,Ix.Ix b) => Ix.Ix (a,b);

{-# NEED #-}
instance Ix.Ix Prelude.Ordering;

{-# NEED #-}
instance Ix.Ix IO.IOMode;

{-# NEED #-}
instance Ix.Ix IO.SeekMode;

{-# NEED #-}
instance Ix.Ix Prelude.Char;

{-# NEED #-}
instance Ix.Ix Prelude.Bool;

{-# NEED #-}
instance Ix.Ix Prelude.Int;

{-# NEED #-}
instance Ix.Ix Prelude.Integer;

{-# NEED #-}
instance Hat.PreludeBasic.Read TimeDiff;

{-# NEED #-}
instance Hat.PreludeBasic.Read CalendarTime;

{-# NEED #-}
instance Hat.PreludeBasic.Read Day;

{-# NEED #-}
instance Hat.PreludeBasic.Read Month;

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j,Hat.PreludeBasic.Read k,Hat.PreludeBasic.Read l,Hat.PreludeBasic.Read m,Hat.PreludeBasic.Read n,Hat.PreludeBasic.Read o) => Hat.PreludeBasic.Read (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j,Hat.PreludeBasic.Read k,Hat.PreludeBasic.Read l,Hat.PreludeBasic.Read m,Hat.PreludeBasic.Read n) => Hat.PreludeBasic.Read (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j,Hat.PreludeBasic.Read k,Hat.PreludeBasic.Read l,Hat.PreludeBasic.Read m) => Hat.PreludeBasic.Read (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j,Hat.PreludeBasic.Read k,Hat.PreludeBasic.Read l) => Hat.PreludeBasic.Read (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j,Hat.PreludeBasic.Read k) => Hat.PreludeBasic.Read (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i,Hat.PreludeBasic.Read j) => Hat.PreludeBasic.Read (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h,Hat.PreludeBasic.Read i) => Hat.PreludeBasic.Read (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g,Hat.PreludeBasic.Read h) => Hat.PreludeBasic.Read (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f,Hat.PreludeBasic.Read g) => Hat.PreludeBasic.Read (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e,Hat.PreludeBasic.Read f) => Hat.PreludeBasic.Read (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d,Hat.PreludeBasic.Read e) => Hat.PreludeBasic.Read (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c,Hat.PreludeBasic.Read d) => Hat.PreludeBasic.Read (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b) => Hat.PreludeBasic.Read (Hat.PreludeBasic.Either a b);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b,Hat.PreludeBasic.Read c) => Hat.PreludeBasic.Read (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance (Hat.PreludeBasic.Read a) => Hat.PreludeBasic.Read (Hat.PreludeBasic.Maybe a);

{-# NEED #-}
instance Hat.PreludeBasic.Read Hat.Hat.Tuple0;

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Read (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Read Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Char;

{-# NEED #-}
instance (Hat.PreludeBasic.Read a,Hat.PreludeBasic.Read b) => Hat.PreludeBasic.Read (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Read Prelude.Integer;

{-# NEED #-}
instance (Hat.PreludeBasic.Read a) => Hat.PreludeBasic.Read (Hat.Hat.List a);

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Day;

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Month;

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j,Hat.PreludeBasic.Bounded k,Hat.PreludeBasic.Bounded l,Hat.PreludeBasic.Bounded m,Hat.PreludeBasic.Bounded n,Hat.PreludeBasic.Bounded o) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j,Hat.PreludeBasic.Bounded k,Hat.PreludeBasic.Bounded l,Hat.PreludeBasic.Bounded m,Hat.PreludeBasic.Bounded n) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j,Hat.PreludeBasic.Bounded k,Hat.PreludeBasic.Bounded l,Hat.PreludeBasic.Bounded m) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j,Hat.PreludeBasic.Bounded k,Hat.PreludeBasic.Bounded l) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j,Hat.PreludeBasic.Bounded k) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i,Hat.PreludeBasic.Bounded j) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h,Hat.PreludeBasic.Bounded i) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g,Hat.PreludeBasic.Bounded h) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f,Hat.PreludeBasic.Bounded g) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e,Hat.PreludeBasic.Bounded f) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d,Hat.PreludeBasic.Bounded e) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c,Hat.PreludeBasic.Bounded d) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b,Hat.PreludeBasic.Bounded c) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Hat.Hat.Tuple0;

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Prelude.Char;

{-# NEED #-}
instance (Hat.PreludeBasic.Bounded a,Hat.PreludeBasic.Bounded b) => Hat.PreludeBasic.Bounded (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Bounded Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Ord TimeDiff;

{-# NEED #-}
instance Hat.PreludeBasic.Ord CalendarTime;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Day;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Month;

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j,Hat.PreludeBasic.Ord k,Hat.PreludeBasic.Ord l,Hat.PreludeBasic.Ord m,Hat.PreludeBasic.Ord n,Hat.PreludeBasic.Ord o) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j,Hat.PreludeBasic.Ord k,Hat.PreludeBasic.Ord l,Hat.PreludeBasic.Ord m,Hat.PreludeBasic.Ord n) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j,Hat.PreludeBasic.Ord k,Hat.PreludeBasic.Ord l,Hat.PreludeBasic.Ord m) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j,Hat.PreludeBasic.Ord k,Hat.PreludeBasic.Ord l) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j,Hat.PreludeBasic.Ord k) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i,Hat.PreludeBasic.Ord j) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h,Hat.PreludeBasic.Ord i) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g,Hat.PreludeBasic.Ord h) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f,Hat.PreludeBasic.Ord g) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e,Hat.PreludeBasic.Ord f) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d,Hat.PreludeBasic.Ord e) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c,Hat.PreludeBasic.Ord d) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b) => Hat.PreludeBasic.Ord (Hat.PreludeBasic.Either a b);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b,Hat.PreludeBasic.Ord c) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a) => Hat.PreludeBasic.Ord (Hat.PreludeBasic.Maybe a);

{-# NEED #-}
instance Hat.PreludeBasic.Ord Hat.Hat.Tuple0;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Ord (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Ord Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Char;

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a,Hat.PreludeBasic.Ord b) => Hat.PreludeBasic.Ord (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Ord Prelude.Integer;

{-# NEED #-}
instance (Hat.PreludeBasic.Ord a) => Hat.PreludeBasic.Ord (Hat.Hat.List a);

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Num (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Num Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Num Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Num Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Num Prelude.Integer;

{-# NEED #-}
instance Hat.PreludeBasic.Show TimeDiff;

{-# NEED #-}
instance Hat.PreludeBasic.Show CalendarTime;

{-# NEED #-}
instance Hat.PreludeBasic.Show Day;

{-# NEED #-}
instance Hat.PreludeBasic.Show Month;

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j,Hat.PreludeBasic.Show k,Hat.PreludeBasic.Show l,Hat.PreludeBasic.Show m,Hat.PreludeBasic.Show n,Hat.PreludeBasic.Show o) => Hat.PreludeBasic.Show (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j,Hat.PreludeBasic.Show k,Hat.PreludeBasic.Show l,Hat.PreludeBasic.Show m,Hat.PreludeBasic.Show n) => Hat.PreludeBasic.Show (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j,Hat.PreludeBasic.Show k,Hat.PreludeBasic.Show l,Hat.PreludeBasic.Show m) => Hat.PreludeBasic.Show (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j,Hat.PreludeBasic.Show k,Hat.PreludeBasic.Show l) => Hat.PreludeBasic.Show (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j,Hat.PreludeBasic.Show k) => Hat.PreludeBasic.Show (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i,Hat.PreludeBasic.Show j) => Hat.PreludeBasic.Show (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h,Hat.PreludeBasic.Show i) => Hat.PreludeBasic.Show (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g,Hat.PreludeBasic.Show h) => Hat.PreludeBasic.Show (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f,Hat.PreludeBasic.Show g) => Hat.PreludeBasic.Show (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e,Hat.PreludeBasic.Show f) => Hat.PreludeBasic.Show (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d,Hat.PreludeBasic.Show e) => Hat.PreludeBasic.Show (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c,Hat.PreludeBasic.Show d) => Hat.PreludeBasic.Show (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.IOError;

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b) => Hat.PreludeBasic.Show (Hat.PreludeBasic.Either a b);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b,Hat.PreludeBasic.Show c) => Hat.PreludeBasic.Show (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance (Hat.PreludeBasic.Show a) => Hat.PreludeBasic.Show (Hat.PreludeBasic.Maybe a);

{-# NEED #-}
instance Hat.PreludeBasic.Show Hat.Hat.Tuple0;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a) => Hat.PreludeBasic.Show (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Show Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Char;

{-# NEED #-}
instance (Hat.PreludeBasic.Show a,Hat.PreludeBasic.Show b) => Hat.PreludeBasic.Show (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Show Prelude.Integer;

{-# NEED #-}
instance (Hat.PreludeBasic.Show a) => Hat.PreludeBasic.Show (Hat.Hat.List a);

{-# NEED #-}
instance Hat.PreludeBasic.Eq TimeDiff;

{-# NEED #-}
instance Hat.PreludeBasic.Eq CalendarTime;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Day;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Month;

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j,Hat.PreludeBasic.Eq k,Hat.PreludeBasic.Eq l,Hat.PreludeBasic.Eq m,Hat.PreludeBasic.Eq n,Hat.PreludeBasic.Eq o) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple15 a b c d e f g h i j k l m n o);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j,Hat.PreludeBasic.Eq k,Hat.PreludeBasic.Eq l,Hat.PreludeBasic.Eq m,Hat.PreludeBasic.Eq n) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple14 a b c d e f g h i j k l m n);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j,Hat.PreludeBasic.Eq k,Hat.PreludeBasic.Eq l,Hat.PreludeBasic.Eq m) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple13 a b c d e f g h i j k l m);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j,Hat.PreludeBasic.Eq k,Hat.PreludeBasic.Eq l) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple12 a b c d e f g h i j k l);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j,Hat.PreludeBasic.Eq k) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple11 a b c d e f g h i j k);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i,Hat.PreludeBasic.Eq j) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple10 a b c d e f g h i j);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h,Hat.PreludeBasic.Eq i) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple9 a b c d e f g h i);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g,Hat.PreludeBasic.Eq h) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple8 a b c d e f g h);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f,Hat.PreludeBasic.Eq g) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple7 a b c d e f g);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e,Hat.PreludeBasic.Eq f) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple6 a b c d e f);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d,Hat.PreludeBasic.Eq e) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple5 a b c d e);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c,Hat.PreludeBasic.Eq d) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple4 a b c d);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b) => Hat.PreludeBasic.Eq (Hat.PreludeBasic.Either a b);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b,Hat.PreludeBasic.Eq c) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple3 a b c);

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a) => Hat.PreludeBasic.Eq (Hat.PreludeBasic.Maybe a);

{-# NEED #-}
instance Hat.PreludeBasic.Eq Hat.Hat.Tuple0;

{-# NEED #-}
instance (Hat.PreludeBasic.Integral a,Hat.PreludeBasic.Eq a) => Hat.PreludeBasic.Eq (Hat.PreludeBasic.Ratio a);

{-# NEED #-}
instance Hat.PreludeBasic.Eq Hat.PreludeBasic.Ordering;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Float;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Double;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Char;

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Eq b) => Hat.PreludeBasic.Eq (Hat.Hat.Tuple2 a b);

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Bool;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Int;

{-# NEED #-}
instance Hat.PreludeBasic.Eq Prelude.Integer;

{-# NEED #-}
instance (Hat.PreludeBasic.Eq a) => Hat.PreludeBasic.Eq (Hat.Hat.List a);
interface Hat.Ix
{-# NEED Ix #-}
class (Hat.PreludeBasic.Ord a) => Ix a;
interface Ratio
{-# NEED Ratio #-}
data Ratio a;
interface IO
{-# NEED BufferMode #-}
data BufferMode;
interface NHC.FFI
{-# NEED CChar #-}
newtype {-#  #-} CChar;
interface IO
{-# NEED Handle #-}
newtype {-#  #-} Handle;

{-# NEED HandlePosn #-}
data HandlePosn;
interface DErrNo
{-# NEED ErrNo #-}
data ErrNo;
interface NHC.FFI
{-# NEED Ptr #-}
data Ptr a;
interface Hat.Hat
{-# NEED IO #-}
newtype {-#  #-} IO a;
interface NHC.Internal
{-# NEED IO #-}
newtype {-#  #-} IO a;

{-# NEED World #-}
data World;
interface Ix
{-# NEED Ix #-}
class (Prelude.Ord a) => Ix a;
interface IO
{-# NEED IOMode #-}
data IOMode;

{-# NEED SeekMode #-}
data SeekMode;
interface Hat.PreludeBasic
{-# NEED Read #-}
class Read a;

{-# NEED Bounded #-}
class Bounded a;
interface Hat.Hat
{-# NEED Tuple15 #-}
data Tuple15 a b c d e f g h i j k l m n o;

{-# NEED Tuple14 #-}
data Tuple14 a b c d e f g h i j k l m n;

{-# NEED Tuple13 #-}
data Tuple13 a b c d e f g h i j k l m;

{-# NEED Tuple12 #-}
data Tuple12 a b c d e f g h i j k l;

{-# NEED Tuple11 #-}
data Tuple11 a b c d e f g h i j k;

{-# NEED Tuple10 #-}
data Tuple10 a b c d e f g h i j;

{-# NEED Tuple9 #-}
data Tuple9 a b c d e f g h i;

{-# NEED Tuple8 #-}
data Tuple8 a b c d e f g h;

{-# NEED Tuple7 #-}
data Tuple7 a b c d e f g;

{-# NEED Tuple6 #-}
data Tuple6 a b c d e f;

{-# NEED Tuple5 #-}
data Tuple5 a b c d e;

{-# NEED Tuple4 #-}
data Tuple4 a b c d;
interface Hat.PreludeBasic
{-# NEED Either #-}
data Either a b;
interface Hat.Hat
{-# NEED Tuple3 #-}
data Tuple3 a b c;
interface Hat.PreludeBasic
{-# NEED Maybe #-}
data Maybe a;
interface Hat.Hat
{-# NEED Tuple0 #-}
data Tuple0;
interface Hat.PreludeBasic
{-# NEED Ratio #-}
data (Integral a) => Ratio a;

{-# NEED Integral #-}
class (Hat.PreludeBasic.Real a,Hat.PreludeBasic.Enum a) => Integral a;

{-# NEED Enum #-}
class Enum a;

{-# NEED Real #-}
class (Hat.PreludeBasic.Num a,Hat.PreludeBasic.Ord a) => Real a;

{-# NEED Ord #-}
class (Hat.PreludeBasic.Eq a) => Ord a;

{-# NEED Num #-}
class (Hat.PreludeBasic.Eq a,Hat.PreludeBasic.Show a) => Num a;

{-# NEED Show #-}
class Show a;

{-# NEED Ordering #-}
data Ordering;
interface Hat.Hat
{-# NEED Tuple2 #-}
data Tuple2 a b;
interface Hat.PreludeBasic
{-# NEED Eq #-}
class Eq a;
interface ! Hat.TimeBuiltinTypes
{-# NEED atdPicosec #-}
atdPicosec{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdSec #-}
atdSec{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdMin #-}
atdMin{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdHour #-}
atdHour{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdDay #-}
atdDay{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdMonth #-}
atdMonth{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED atdYear #-}
atdYear{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actIsDST #-}
actIsDST{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actTZ #-}
actTZ{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actTZName #-}
actTZName{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actYDay #-}
actYDay{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actWDay #-}
actWDay{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actPicosec #-}
actPicosec{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actSec #-}
actSec{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actMin #-}
actMin{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actHour #-}
actHour{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actDay #-}
actDay{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actMonth #-}
actMonth{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED actYear #-}
actYear{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aTimeDiff #-}
aTimeDiff{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aCalendarTime #-}
aCalendarTime{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aSaturday #-}
aSaturday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aFriday #-}
aFriday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aThursday #-}
aThursday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aWednesday #-}
aWednesday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aTuesday #-}
aTuesday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aMonday #-}
aMonday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aSunday #-}
aSunday{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aDecember #-}
aDecember{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aNovember #-}
aNovember{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aOctober #-}
aOctober{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aSeptember #-}
aSeptember{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aAugust #-}
aAugust{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aJuly #-}
aJuly{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aJune #-}
aJune{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aMay #-}
aMay{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aApril #-}
aApril{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aMarch #-}
aMarch{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aFebruary #-}
aFebruary{-# 0 #-}::Hat.Hat.RefAtom;

{-# NEED aJanuary #-}
aJanuary{-# 0 #-}::Hat.Hat.RefAtom;
interface Hat.Hat
{-# NEED RefAtom #-}
newtype {-#  #-} RefAtom;
interface ! Hat.TimeBuiltinTypes
{-# NEED htdPicosec #-}
htdPicosec{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Integer)));

{-# NEED gtdPicosec #-}
gtdPicosec{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Integer))));

{-# NEED htdSec #-}
htdSec{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdSec #-}
gtdSec{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED htdMin #-}
htdMin{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdMin #-}
gtdMin{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED htdHour #-}
htdHour{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdHour #-}
gtdHour{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED htdDay #-}
htdDay{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdDay #-}
gtdDay{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED htdMonth #-}
htdMonth{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdMonth #-}
gtdMonth{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED htdYear #-}
htdYear{-# 2 #-}::((Hat.Hat.R TimeDiff) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gtdYear #-}
gtdYear{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun TimeDiff Prelude.Int))));

{-# NEED {TimeDiff TimeDiff btdYear btdMonth btdDay btdHour btdMin btdSec btdPicosec} #-}
data TimeDiff
  = TimeDiff {btdYear :: (Hat.Hat.R Prelude.Int)} {btdMonth :: (Hat.Hat.R Prelude.Int)} {btdDay :: (Hat.Hat.R Prelude.Int)} {btdHour :: (Hat.Hat.R Prelude.Int)} {btdMin :: (Hat.Hat.R Prelude.Int)} {btdSec :: (Hat.Hat.R Prelude.Int)} {btdPicosec :: (Hat.Hat.R Prelude.Integer)};

{-# NEED hctIsDST #-}
hctIsDST{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Bool)));

{-# NEED gctIsDST #-}
gctIsDST{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Bool))));

{-# NEED hctTZ #-}
hctTZ{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctTZ #-}
gctTZ{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctTZName #-}
hctTZName{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Hat.PreludeBuiltinTypes.String)));

{-# NEED gctTZName #-}
gctTZName{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Hat.PreludeBuiltinTypes.String))));

{-# NEED hctYDay #-}
hctYDay{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctYDay #-}
gctYDay{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctWDay #-}
hctWDay{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Day)));

{-# NEED gctWDay #-}
gctWDay{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Day))));

{-# NEED hctPicosec #-}
hctPicosec{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Integer)));

{-# NEED gctPicosec #-}
gctPicosec{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Integer))));

{-# NEED hctSec #-}
hctSec{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctSec #-}
gctSec{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctMin #-}
hctMin{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctMin #-}
gctMin{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctHour #-}
hctHour{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctHour #-}
gctHour{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctDay #-}
hctDay{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctDay #-}
gctDay{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));

{-# NEED hctMonth #-}
hctMonth{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Month)));

{-# NEED gctMonth #-}
gctMonth{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Month))));

{-# NEED hctYear #-}
hctYear{-# 2 #-}::((Hat.Hat.R CalendarTime) -> (Hat.Hat.RefExp -> (Hat.Hat.R Prelude.Int)));

{-# NEED gctYear #-}
gctYear{-# 2 #-}::(Hat.Hat.RefSrcPos -> (Hat.Hat.RefExp -> (Hat.Hat.R (Hat.Hat.Fun CalendarTime Prelude.Int))));
interface Hat.Hat
{-# NEED Fun #-}
newtype {-#  #-} Fun a b;

{-# NEED RefSrcPos #-}
newtype {-#  #-} RefSrcPos;
interface ! Hat.TimeBuiltinTypes
{-# NEED {CalendarTime CalendarTime bctYear bctMonth bctDay bctHour bctMin bctSec bctPicosec bctWDay bctYDay bctTZName bctTZ bctIsDST} #-}
data CalendarTime
  = CalendarTime {bctYear :: (Hat.Hat.R Prelude.Int)} {bctMonth :: (Hat.Hat.R Month)} {bctDay :: (Hat.Hat.R Prelude.Int)} {bctHour :: (Hat.Hat.R Prelude.Int)} {bctMin :: (Hat.Hat.R Prelude.Int)} {bctSec :: (Hat.Hat.R Prelude.Int)} {bctPicosec :: (Hat.Hat.R Prelude.Integer)} {bctWDay :: (Hat.Hat.R Day)} {bctYDay :: (Hat.Hat.R Prelude.Int)} {bctTZName :: (Hat.Hat.R Hat.PreludeBuiltinTypes.String)} {bctTZ :: (Hat.Hat.R Prelude.Int)} {bctIsDST :: (Hat.Hat.R Prelude.Bool)};
interface Hat.PreludeBuiltinTypes
{-# NEED String #-}
type {-# 1 #-} String = (Hat.Hat.List Prelude.Char);
interface Hat.Hat
{-# NEED List #-}
data List a;

{-# NEED R #-}
data R a;

{-# NEED RefExp #-}
newtype {-#  #-} RefExp;
interface ! Hat.TimeBuiltinTypes
{-# NEED {Day Sunday Monday Tuesday Wednesday Thursday Friday Saturday} #-}
data Day
  = Sunday 
  | Monday 
  | Tuesday 
  | Wednesday 
  | Thursday 
  | Friday 
  | Saturday ;

{-# NEED {Month January February March April May June July August September October November December} #-}
data Month
  = January 
  | February 
  | March 
  | April 
  | May 
  | June 
  | July 
  | August 
  | September 
  | October 
  | November 
  | December ;
}
