Shakespeare is a family of type-safe, efficient template languages. Shakespeare
templates are expanded at compile-time, ensuring that all interpolated
variables are in scope. Variables are interpolated according to their type
through a typeclass.

Shakespeare templates can be used inline with a quasi-quoter or in an external
file.
