type Projection a b c d

class Projective k a d

project

by

data Project a d x y

projection

stereo

mirror

type SimpleProjection a b