Read my linked post for more details, but basically you can use GHCI to explore the datatypes and structures in caradno-sl
TLDR;
curl -sSL https://get.haskellstack.org/ | sh
export PATH=/home/mdupont/.local/bin:$PATH
stack upgrade
git clone git@github.com:h4ck3rm1k3/cardano-sl.git
pushd cardano-sl
git checkout use-universum
stack ghci --no-load
and finally
:l Pos.Core
Also found under the link :