Peter Summentyp, a software developer from Baden-Baden, Germany was found dead in the basement of his house. Peter's body was sealed in a large black metallic box, in an apparent vacuum. Cause of dead: asphyxiation.

According to friends and colleagues, in the years preceding to his death Peter has shown signs of ever increasing unhealthy interest in functional programming, pure functions and type theory. By the end of 2020, Peter has developed an idea and a personal goal to "live without side effects, become pure and one with The Original Type".

German police is to investigate the literature of the Baden-Württemberg functional programming community in order to rule out the possibility of dangerous cult activity.