Why are flexible types not allowed in record type definitions?
问题 I'm trying this: type TS1<'state, 'action> = { actions : 'state -> #seq<'action> move : 'state -> 'action -> 'state state0 : 'state } But the type checker won't let me: .../stdin(2,29):error FS0715: Anonymous type variables are not permitted in this declaration However, if I unfold the definition of the flexible type, I'm good: type TS2<'state, 'action, 'actions when 'actions :> seq<'action>> = { actions : 'state -> 'actions move : 'state -> 'action -> 'state state0 : 'state } I'm unhappy