module Annfail04_Help where

class Thing a where
  thing :: a