Demo of how I'd like to be able to import type aliases

Bar.elm

module Bar where

type A = { x : Int, y : Int }

Foo.elm

module Foo where

import Bar (A)

f : Int -> Int -> A
f x y = {x=x,y=y}

script.out

$ elm --make Foo.elm 
[1 of 2] Compiling Bar
[2 of 2] Compiling Foo
Error while compiling Foo.elm:
Type error ():
{ x : Int, y : Int } is not equal to A
In context: f