content: {-# LANGUAGE TypeFamilies, TypeOperators #-}
  
  -----------------------------------------------------------------------------
  -- |
  -- Module      :  Data.Metrology.SI.MonoTypes
  -- Copyright   :  (C) 2013 Richard Eisenberg
  -- License     :  BSD-style (see LICENSE)
  -- Maintainer  :  Richard Eisenberg (rae@cs.brynmawr.edu)
  -- Stability   :  experimental
  -- Portability :  non-portable
  --
  -- This module defines type synonyms for SI units, using a Double as the
  -- internal representation. This module /does not/ export instances of
  -- 'DefaultUnitOfDim'. Use 'Data.Metrology.SI.Mono' for that.
  -----------------------------------------------------------------------------
  
  module Data.Metrology.SI.MonoTypes where
  
  import Data.Metrology
  import qualified Data.Dimensions.SI as D
  
  type Length              = MkQu_D D.Length
  type Mass                = MkQu_D D.Mass
  type Time                = MkQu_D D.Time
  type Current             = MkQu_D D.Current
  type Temperature         = MkQu_D D.Temperature
  type AmountOfSubstance   = MkQu_D D.AmountOfSubstance
  type LuminousIntensity   = MkQu_D D.LuminousIntensity
  type PlaneAngle          = MkQu_D D.PlaneAngle
  type SolidAngle          = MkQu_D D.SolidAngle
  
  type Area                = MkQu_D D.Area
  type Volume              = MkQu_D D.Volume
  type Velocity            = MkQu_D D.Velocity
  type Acceleration        = MkQu_D D.Acceleration
  type Wavenumber          = MkQu_D D.Wavenumber
  type Density             = MkQu_D D.Density
  type SurfaceDensity      = MkQu_D D.SurfaceDensity
  type SpecificVolume      = MkQu_D D.SpecificVolume
  type CurrentDensity      = MkQu_D D.CurrentDensity
  type MagneticStrength    = MkQu_D D.MagneticStrength
  type Concentration       = MkQu_D D.Concentration
  type Luminance           = MkQu_D D.Luminance
  type Frequency           = MkQu_D D.Frequency
  type Force               = MkQu_D D.Force
  type Pressure            = MkQu_D D.Pressure
  type Energy              = MkQu_D D.Energy
  type Power               = MkQu_D D.Power
  type Charge              = MkQu_D D.Charge
  type ElectricPotential   = MkQu_D D.ElectricPotential
  type Capacitance         = MkQu_D D.Capacitance
  type Resistance          = MkQu_D D.Resistance
  type Conductance         = MkQu_D D.Conductance
  type MagneticFlux        = MkQu_D D.MagneticFlux
  type MagneticFluxDensity = MkQu_D D.MagneticFluxDensity
  type Inductance          = MkQu_D D.Inductance
  type LuminousFlux        = MkQu_D D.LuminousFlux
  type Illuminance         = MkQu_D D.Illuminance
  type Kerma               = MkQu_D D.Kerma
  type CatalyticActivity   = MkQu_D D.CatalyticActivity
  type Momentum            = MkQu_D D.Momentum
  type AngularVelocity     = MkQu_D D.AngularVelocity
  