import "Prelude" distance (x1,y1) (x2,y2) = let dx = x1-x2 dy = y1-y2 in sqrt (dx*dx + dy*dy) print x1 -- 5:31-5:35: Constrain Real ((a -> ()) -> ((c -> ()) -> e -> f) -> i) contains free variables not mentioned in the type of the value. 5:52-5:57: Constrain Show a contains free variables not mentioned in the type of the value. 5:58-5:60: Unification of types failed.