marginS :: Distance -> Spacer type Distance = Int
marginS dist
marginS
dist :: Distance
marginS d = sepS (diag d)