fharp prototyping