1 2 3 4 5 6
{-# LANGUAGE KindSignatures #-} module Ppr051 where -- default declaration default ( ) default ( Int , Bool :: Int )