Geom2d.Line
data InfLine p a
mkInfLine
lineF
parallel
slope
root
intersection
data FinLine p a
mkFinLine
lineLength