data Vec2 = Vec2 Double Double
data Vec3 = Vec2 Double Double Double

main = "Not to be executed."
--
3:13-3:38: Value Vec2 is already defined.