This package provides a minimal definition for typeclass that has a method of default value. Since filling default values sometimes cause unexpected behavior, restricted version of typeclass for default value is useful for checking safety at compile time.