#55 Added map and contramap for F and F2