reduction stack overflow

data Zero = Zero deriving Show
data Succ n = Succ deriving Show

class Foo a where foo :: a
instance Foo Zero where foo = Zero
instance Foo n => Foo (Succ n) where foo = Succ

type Two zero = Succ (Succ zero)
type Four zero = Two (Two zero)
type Eight zero = Four (Four zero)
type Sixteen zero = Eight (Eight zero)
type ThirtyTwo zero = Sixteen (Sixteen zero)
type SixtyFour zero = ThirtyTwo (ThirtyTwo zero)
type OneTwentyEight zero = SixtyFour (SixtyFour zero)
type TwoFiftySix zero = OneTwentyEight (OneTwentyEight zero)

main = print (foo :: TwoFiftySix Zero)