pkg std =
	trait equatable @a =
		eq	: (a : @a, b : @a -> bool)
	;;

	trait hashable @a =
		hash	: (a : @a -> uint64)
	;;
;;