https://idealtypes.ml