andrewjpritchard

type Fix<A> = (arg: Fix<A>) => A

type Unit = <T>(
  unit: () => T
) => T;

type Bool = <T>(
  $true: () => T,
  $false: () => T,
) => T;

jdah

// so a cool trick with macros in C (and C++) is that since macros inside of
// macros are stille evaluated by the preprocessor, you can use macro names as
// parameters to other macros (and even construct macro names out of out of
// parameters!) - so using this trick if we have some macro like
// this:

#include <stddef.h>

#define MY_TYPES_ITER(_F, ...)   \
    _F(FOO, foo, 0, __VA_ARGS__) \