{-# LANGUAGE ExplicitNamespaces #-}

module Import where

import Definitions (type (:+:)) {-* ExplicitNamespaces *-}