{-# LANGUAGE KindSignatures #-}
module Ppr051 where

-- default declaration
default  (  )
default  (  Int ,  Bool  :: Int )