fixed type dec mutually recursive