Osprey is one functional language fronted by two first-class syntaxes: a brace-style Default flavor for systems programmers and an offside-rule ML flavor for FP devotees. One type checker, one effect system, one runtime.