Telefona gönder: Typed Contracts for Functional Programming