definition module Snug.Compile.Typing

from Control.Monad.State import :: StateT
from Data.Error import :: MaybeError
from Data.Map import :: Map

from Snug.Compile import :: CompileM, :: CompileState, :: LocalLocation,
	:: Locals
from Snug.Syntax import :: Expression, :: SymbolIdent, :: Type

class type a :: !Locals !a -> CompileM Type

instance type Expression