newtype ListLayer a = ListLayer [a]

class Layerable a where
  something :: a -> a

instance Layerable (ListLayer a) where
  something = id