Quotient

import quantities.si;

static assert(is(Inverse!Time == Frequency));
static assert(is(Product!(Power, Time) == Energy));
static assert(is(Quotient!(Length, Time) == Speed));
static assert(is(Square!Length == Area));
static assert(is(Cubic!Length == Volume));
static assert(AreConsistent!(Product!(Inverse!Time, Length), Speed));