module Main (main) where instance Bounded a => Bounded [a]