module Default where

class Default a where
  def :: a