Shapes can't be recursively defined, even when it makes sense

[steelbrain]

<?hh //strict
type a = shape(
  'name' => string,
  'min' => int,
  'max' => int,
  'type' => string,
  'validate' => (function(a):void) // Error: Cyclic typedef (Typing[4014])
);

[milesj]

This seems like it should be a class.

[jwatzman]

Yeah, it's a current limitation of shapes that they can't be recursively defined in any way. Another possibility where this could be useful is

type a = shape(
 'foo' => ?a,
  // ...
);