- fun f a = #1 a; stdIn:369.1-369.15 Error: unresolved flex record (can't tell what fields there are besides #1)