Algebras_as_Types