define types that have a default template parameters, don't just declare and specialize.
define types that have a default template parameters, don't just declare and specialize.

eggrobin/Principia,Norgg/Principia,pleroy/Principia,eggrobin/Principia,mockingbirdnest/Principia,pleroy/Principia,eggrobin/Principia,Norgg/Principia,pleroy/Principia,Norgg/Principia,mockingbirdnest/Principia,pleroy/Principia,mockingbirdnest/Principia,Norgg/Principia,mockingbirdnest/Principia