Find your internet twin!

The first thing we'll need to do to begin the process of evaluating expressions is write a function to plug in a value for a specific variable.

You only export the type and a way to construct it and retrieve its internals.

In Haskell, these types have the following definitions:

doesn’t need to be built from scratch every time.

It already means different things in different syntactic contexts, like function application or type (family) application.

I knew I was missing something obvious, but how to figure out what?

this post is to observe similarities with the two, as I go about learning.

Problem: how to relate the code which is effectively executed, with arbitrary names, to

For example, continuing my silly example habit: {-# LANGUAGE PatternSynonyms #-} module Example where main :: IO ( ) main = getChar >>= \ c -> print …